Stephen Kleene

Este texto clásico explora los fundamentos de la lógica matemática, la teoría de la recursión y la computabilidad, sentando las bases teóricas de la computación y la programación tal como las conocemos.

Este libro ofrece una introducción a la lógica matemática, cubriendo temas como la teoría de conjuntos, la teoría de modelos y la computación, proporcionando una base rigurosa en la lógica y su aplicación en matemáticas.

Una obra fundamental sobre la lógica matemática y la teoría de la recursión, explorando los fundamentos de la computabilidad y los sistemas formales, que influyeron en el desarrollo de la informática teórica.

Un influyente libro de texto que introduce formalmente los conceptos de la lógica matemática, la recursión y la computabilidad, sentando las bases para el estudio de la teoría de la computación.

Un texto seminal que establece las bases de la lógica matemática y la teoría de la recursión. Introduce formalismos y desarrolla de manera rigurosa los conceptos de computabilidad y funciones recursivas.

Este libro introduce los conceptos fundamentales de la lógica matemática, incluyendo la teoría de conjuntos, los sistemas formales y la teoría de modelos, creando una base para estudios más avanzados en matemáticas y filosofía.

Este libro presenta una introducción a la lógica, el álgebra y la computabilidad, explorando sus fundamentos teóricos y su aplicación a la matemática y la informática.