María Gracia
Manzano Arjona
Universidad Nacional de Córdoba
Córdoba, ArgentinaPublikationen in Zusammenarbeit mit Forschern von Universidad Nacional de Córdoba (1)
2014
-
Completeness in Hybrid Type Theory
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238