Traducciones, lógicas combinadas, descripciones, lógica intensiva, teoría de tipos, lógica híbrida, identidad, lógica y educación

Financeur: Ministerio de Economía y Competitividad

Annonce: 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)

Sphère National.