Ambos libros, escritos por Kleene, exploran profundamente los conceptos de funciones recursivas y la computabilidad efectiva, manteniendo un enfoque formal y riguroso.
Theory of Recursive Functions and Effective Computability
por Stephen Cole Kleene · 1967
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Stephen Cole Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Mathematical Logic
1952
Una Introducción a la Metamatemática
1952
Introducción a los Metamatemáticos
1952
The Elements of Mathematical Logic
1952
Elements of Mathematical Logic
1952
Introduccion al Metamatemáticas
1952
Principios de Metamatemáticas
1952
Mathematical Logic: Its Applicability to the Natural Sciences
1952
Computability and Unsolvability
1952
Un Vistazo a la Metamatemática
1952
Introducción a la Lógica y la Metamatemática
1952
Introducción a la metamatemática
1952
Conceptos de la lógica matemática
1952
Introduction to Metamathematics
1952
Representation of Events in Memory
1964
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'Theory of Recursive Functions and Effective Computability', este libro se adentra en los fundamentos de la teoría de funciones recursivas, ampliando el marco teórico.