Mathematical Logic
por Alonzo Church · 1956
Sinopsis
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
An Unsolvable Problem of Elementary Number Theory
1936
A Formulation of the Notion of Computability
1936
A Note on the Undecidability of Certain Functions
1940
The Logical Foundations of Mathematics
1940
The Calculi of Lambda-Conversion
1940
Introducción a la lógica matemática
1956
Introduction to Mathematical Logic
1956
sin portada
N-Category Café
1971
Some Applications of the Lambda Calculus to Proof Theory
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.