George S. Boolos

Un texto riguroso que introduce los conceptos centrales de la computabilidad y la lógica matemática, incluyendo las funciones recursivas, las máquinas de Turing y los teoremas de incompletitud de Gödel.

Este texto fundamental explora los conceptos de computabilidad a través de las funciones recursivas, las máquinas de Turing y la lógica matemática, conectando directamente con los fundamentos teóricos de la computación.

Este libro examina las intersecciones entre la lógica, la computabilidad y la filosofía, ofreciendo una introducción accesible a temas como la teoría de modelos y la teoría de la computación.

Este texto clásico aborda los fundamentos teóricos de la computación, la lógica matemática, la recursión y sus límites inherentes, explorando las preguntas fundamentales sobre lo que es computable y lo que no lo es.

Este libro examina la incompletud de la aritmética de Peano y la imposibilidad de probar su consistencia, ofreciendo un análisis profundo sobre los fundamentos de las matemáticas y la lógica.

Este libro explora temas fundamentales de la lógica, presentando una serie de ensayos que examinan sus aspectos filosóficos y matemáticos, así como sus aplicaciones en la teoría de conjuntos y la lógica modal.