Una Introducción a la Metamatemática
por Stephen Cole Kleene · 1952
Sinopsis
Un texto clásico que establece los fundamentos de la lógica matemática y la metamatemática, incluyendo la teoría de funciones recursivas, indispensable para entender los límites de la computación.
Sé el primero en valorar este libro.
Más de Stephen Cole Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Introducción a los Metamatemáticos
1952
Introduction to Metamathematics
1952
Mathematical Logic
1952
sin portada
The Elements of Mathematical Logic
1952
Mathematical Logic: Its Applicability to the Natural Sciences
1952
Introduccion al Metamatemáticas
1952
Computability and Unsolvability
1952
sin portada
Elements of Mathematical Logic
1952
sin portada
Representation of Events in Memory
1964
sin portada
Finite Automata and Formal Languages
1967
Mathematical Logic: A First Course
1967
Theory of Recursive Functions and Effective Computability
1967
Introduction to Mathematical Logic
1967
Mathematical Theory of Automata
1967
Mathematics and the Foundations of Computer Science
1975
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.