María Gracia
Manzano Arjona
Profesora Emérita Honorífica
VÍCTOR
ARANDA UTRERO
Investigador en el període 2021-2022
Publicacions en què col·labora amb VÍCTOR ARANDA UTRERO (3)
2024
-
Propositional Type Theory of Indeterminacy
Studia Logica
2023
-
HYBRID PARTIAL TYPE THEORY
Journal of Symbolic Logic
2022
-
Many-Sorted Logic
Stanford Encyclopedia of Philosophy Archive : (Winter 2022 Edition)