Al igual que 'Mathematical Logic', este libro profundiza en la teoría de tipos y la computabilidad, presentando fundamentos similares en lógica matemática.
Mathematical Logic
por Alonzo Church · 1956
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Más de Alonzo Church
Ver autor →Otras obras del mismo autor en el catálogo
A Formulation of the Notion of Computability
1936
An Unsolvable Problem of Elementary Number Theory
1936
Lambda-Cálculo de Tipo Simple
1940
A Note on the Undecidability of Certain Functions
1940
The Calculi of Lambda-Conversion
1940
The Logical Foundations of Mathematics
1940
El Cálculo Lambda y sus Aplicaciones
1941
El Cálculo Lambda: Un Lenguaje Universal de Programación
1941
Lógica simbólica
1944
Introduction to Mathematical Logic
1956
Introducción a la Lógica y la Metamatemática
1956
Introducción a la lógica matemática
1956
Una Introducción a la Lógica Matemática
1956
Introducción a la Metalógica
1956
Some Applications of the Lambda Calculus to Proof Theory
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos textos abordan conceptos fundamentales de la teoría de conjuntos y la lógica formal, manteniendo un enfoque riguroso y sistemático.