Ambos libros son obra del mismo autor y exploran la computabilidad efectiva, profundizando en conceptos de funciones recursivas y su teoría asociada.
Elements of Recursive Function Theory
por Stephen Kleene · 1963
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Stephen Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Lógica y fundamentos matemáticos
1952
Elements of Mathematical Logic
1952
Computability and Logic
1952
Introducción al análisis infitesimal
1952
La Noción de Lógica Matemática
1952
Mathematical Logic
1952
Introducción a la metamatemática
1952
Mathematical Theory of Automata
1964
Theory of Recursive Functions and Effective Computability
1967
Automata, Languages, and Machines
1971
Mathematical Logic: A First Course
1971
Finite Models and Finite Structures
1976
Realizability
1980
Computer Science: The Hardware and Software
1984
Logic, Algebra, and Computability
1986
Libros similares
Libros relacionados según distintos criterios de búsqueda
La obra de Kleene presenta una continuidad temática y de estilo con su libro sobre funciones recursivas, ampliando la comprensión de la computación efectiva.