Ambos libros son obras de Alonzo Church que abordan la relación entre el lambda-cálculo y la teoría de la prueba, explorando su aplicación en lógica matemática.
The Calculi of Lambda-Conversion
por Alonzo Church · 1940
Ver sugerenciasSinopsis
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
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
Una Introducción a la Lógica Matemática
1956
Introducción a la Lógica y la Metamatemática
1956
Introducción a la lógica matemática
1956
Introducción a la Metalógica
1956
Mathematical Logic
1956
N-Category Café
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'The Calculi of Lambda-Conversion', este texto profundiza en el lambda-cálculo, pero se enfoca en su fundamentación teórica en programación funcional.