Introduction to Metamathematics
por Stephen Cole Kleene · 1952
Sinopsis
Un texto seminal que establece las bases de la metamatemática, la teoría de la recursión y la teoría de la prueba, explorando los límites y propiedades de los sistemas formales, incluyendo los teoremas de incompletitud de Gödel.
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
Computability and Unsolvability
1952
Introduccion al Metamatemáticas
1952
sin portada
Elements of Mathematical Logic
1952
Una Introducción a la Metamatemática
1952
sin portada
The Elements of Mathematical Logic
1952
Mathematical Logic
1952
Mathematical Logic: Its Applicability to the Natural Sciences
1952
sin portada
Representation of Events in Memory
1964
Theory of Recursive Functions and Effective Computability
1967
Mathematical Theory of Automata
1967
sin portada
Finite Automata and Formal Languages
1967
Mathematical Logic: A First Course
1967
Introduction to Mathematical Logic
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.