Buridan 2 Buridán 2 CLASSICAL LOGIC 2 CONSTRUCTIVE LOGIC 2 CURRY-HOWARD 2 KRIPKE SEMANTICS 2 LOGIC 2 LOGICA 2 LOGICA CLASICA 2 LOGICA CONSTRUCTIVA 2 Language 2 Lenguaje 2 Logic 2 Lógica 2 PROPOSICIONES COMO TIPOS 2 PROPOSITION AS TYPES 2 Paradojas 2 Paradox 2 SEMANTICA DE KRIPKE 2 Teoría de las proposiciones 2 Theory of propositions 2 BURIDAN 1 LANGUAGE 1 LENGUAJE 1 LOGICA MEDIEVAL 1 MEDIEVAL LOGIC 1 PARADOJAS 1 PARADOX 1 TEORIA DE LAS PROPOSICIONES 1 THEORY OF PROPOSITIONS 1