Projet de recherche
FFI2017-82554-P
Traducciones, lógicas combinadas, descripciones, lógica intensiva, teoría de tipos, lógica híbrida, identidad, lógica y educación
date_range
Durée de 01 janvier 2018 à 31 décembre 2019
(24 mois)
Chercheurs
María Gracia
Manzano Arjona
Responsable