Projeto
Traducciones, Lógicas Combinadas, Descripciones, Lógica Intensiva, Teoria de Tipos, Lógica HíbridaTraducciones, Lógicas Combinadas, Descripciones, Lógica Intensiva, Teoria de Tipos, Lógica Híbrida
Resumo
Projeto ligado ao Programa de Doctorado en Lógica y Filosofía de la Ciencia- Grupo Coimbra de Universidades (Universidades de Salamanca, Aveiro, Campinas, Baurú, Roskilde (Dinamarca), Córdoba e Barcelona).
Responsáveis
