Stephen Cole Kleene

Este libro ofrece una introducción completa a la lógica matemática, abarcando los principios fundamentales y los teoremas clave. Es un recurso valioso para estudiantes y profesionales interesados en la teoría de conjuntos, la lógica proposicional y la lógica de predicados.

Un texto clásico que establece los fundamentos de la lógica matemática y la metamatemática, incluyendo la teoría de funciones recursivas, indispensable para entender los límites de la computación.

Un texto clásico que cubre los fundamentos de la lógica matemática, la teoría de la computabilidad y los teoremas de incompletitud de Gödel, con un enfoque en la teoría recursiva.

Un texto clásico que presenta las bases de la lógica matemática y la teoría de la recursión, con un énfasis en los aspectos constructivos y la teoría de funciones recursivas.

Un texto clásico que introduce rigurosamente la metamatemática, la lógica matemática y la teoría de la computabilidad, sentando las bases para el estudio de los sistemas formales.

Este libro examina el papel de la lógica matemática en las ciencias naturales, explorando su aplicabilidad y fundamentos a través de diversas disciplinas científicas.

Una introducción exhaustiva a los fundamentos de la lógica matemática, la teoría de la computabilidad y la teoría de la recursión, con un enfoque en la metamatemática y la demostrabilidad.

Una introducción rigurosa a la lógica simbólica y la metamatemática, cubriendo temas como la teoría de la recursión, los sistemas formales y las propiedades de las teorías matemáticas.

Un texto clásico que introduce la lógica matemática, la teoría de la recursión y los fundamentos de las matemáticas, incluyendo una discusión exhaustiva sobre funciones computables y el programa de Hilbert.

Un texto clásico que cubre lógica proposicional, de predicados, máquinas de Turing y la teoría de la computabilidad, sentando las bases formales para gran parte de la lógica matemática contemporánea.

Este libro ofrece una introducción accesible a la lógica matemática, abarcando conceptos fundamentales como la teoría de conjuntos, la lógica proposicional y predicativa, así como los fundamentos de la computabilidad.