Un satélite de cálculo lambda - A Lambda Calculus Satellite
En 1936, la noción de computabilidad intuitiva se operacionalizó de dos maneras distintas:...
Un siglo desde que la sustitución de Principia deslumbró a Haskell Curry. En honor del 80...
En 1922, Curry empezó a leer Principia Mathematica...
¡O'Kheiluf! La lucha rabínica contra el contrapositivo - O'Kheiluf! The Rabbinic Struggle with the...
En este libro, la Dra. Amelia Spivak descubre un...
Introducción matemática a la computabilidad - A Mathematical Primer on Computability
El libro proporciona una introducción autocontenida a la...
Ciencias, Circulaciones, Rvoluciones. Homenaje a Philippe Nabonnand - Sciences, Circulations,...
Este Festschrift se publica en honor de Philippe...
Incompletitud en el país de los conjuntos - Incompleteness in the Land of Sets
La paradoja de Russell surge cuando consideramos aquellos conjuntos que no...
Historia Logicae y su interpretación moderna - Historia Logicae and its Modern...
Con este libro se inaugura la colección Historia Logicae, cuyo...
Causalidad y probabilidad en las ciencias - Causality and Probability in the Sciences
La inferencia causal es quizá la forma más importante de...
Manual de lógica deóntica y sistemas normativos - Handbook of Deontic Logic and Normative...
El Handbook of Deontic Logic and Normative Systems...
