Proiektua 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
Finantzatzailea: Ministerio de Economía y Competitividad
Deialdia: Convocatoria de tramitación anticipada para el año 2017 del procedimiento deconcesión de ayudas a proyectos de I+D correspondientes al Programa Estatal deFomento de la Investigación Científica y Técnica de EXCELENCIA (Ministerio de Economía y Competitividad)
Nazioarteko-arlokoak. Norgehiagoka-aren araubidean eman da.