Comparte con el libro de referencia su enfoque en los fundamentos de la teoría de la computabilidad y la rigurosidad en la presentación de conceptos básicos de lógica matemática.
Introducción a la lógica matemática
por Alonzo Church · 1956
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Más de Alonzo Church
Ver autor →Otras obras del mismo autor en el catálogo
An Unsolvable Problem of Elementary Number Theory
1936
A Formulation of the Notion of Computability
1936
The Logical Foundations of Mathematics
1940
Lambda-Cálculo de Tipo Simple
1940
A Note on the Undecidability of Certain Functions
1940
The Calculi of Lambda-Conversion
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
Mathematical Logic
1956
Una Introducción a la Lógica Matemática
1956
Introducción a la Lógica y la Metamatemática
1956
Introduction to Mathematical Logic
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
Desarrolla sistemas axiomáticos y teorías de la recursión, elementos esenciales que también se discuten en la introducción a la lógica matemática del libro original.
Introduce el cálculo lambda, abordando la computabilidad efectiva y sus implicaciones en la programación funcional, temas centrales en la lógica matemática de Church.
Propone una introducción a la lógica simbólica y la metamatemática, conectándose con los fundamentos y teorías de computación mencionados en la obra de Church.
Presenta una rigurosa discusión sobre lógica proposicional y de primer orden, alineándose con la estructura formal y los principios básicos del texto de referencia.
Abarca fundamentos de la lógica matemática incluyendo teoría de conjuntos y el teorema de completitud, aspectos que Church fundamenta en su libro clásico.