Alonzo Church

Una obra fundamental en lógica matemática que introduce el lambda-cálculo con tipos. Establece las bases teóricas de la computación y la programación funcional.

Presenta el cálculo lambda, un sistema formal en lógica matemática para expresar la computación basada en la abstracción de funciones, su aplicación y recursividad.

Una monografía técnica foundational que introduce el cálculo lambda, un sistema formal en lógica matemática para expresar la computabilidad efectiva y servir como una base teórica para la programación funcional.

Este libro presenta los fundamentos de la lógica matemática, abarcando temas como la teoría de conjuntos, la no-contradicción y el teorema de completitud, ofreciendo un enfoque riguroso y formal que es fundamental para la comprensión de la lógica moderna.

Este texto es una obra fundamental que introduce los conceptos básicos de la lógica matemática, incluyendo el cálculo lambda, la teoría de la computabilidad y los fundamentos de las matemáticas.

Un texto seminal que presenta los fundamentos de la lógica matemática clásica, incluyendo la lógica proposicional y de primer orden, así como los principios de la metamatemática, de forma rigurosa y formal.

Un texto clásico y fundamental en lógica matemática que presenta una rigurosa introducción a la teoría de tipos, la recursividad y los fundamentos de la computabilidad.

Un tratado fundamental y riguroso sobre la lógica matemática y sus metateorías, que desarrolla los sistemas axiomáticos, la teoría de la recursión y la demostración de los límites de la computabilidad.

Este libro ofrece una introducción rigurosa a la lógica matemática, abordando temas como la teoría de conjuntos, la teoría de la computación y la relación entre lógica y matemáticas a través de conceptos fundamentales.