Introducción a la lógica matemática
por Alonzo Church · 1956
Sinopsis
Un clásico seminal de la lógica matemática que introduce los fundamentos del cálculo lambda, la teoría de tipos y la indecidibilidad.
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
sin portada
A Note on the Undecidability of Certain Functions
1940
sin portada
The Calculi of Lambda-Conversion
1940
sin portada
The Logical Foundations of Mathematics
1940
Mathematical Logic
1956
Introduction to Mathematical Logic
1956
sin portada
Some Applications of the Lambda Calculus to Proof Theory
1971
sin portada
N-Category Café
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda