Introducción al análisis infitesimal
por Stephen Kleene · 1952
Sinopsis
Una obra fundamental sobre la lógica matemática y la teoría de la recursión, explorando los fundamentos de la computabilidad y los sistemas formales, que influyeron en el desarrollo de la informática teórica.
Sé el primero en valorar este libro.
Más de Stephen Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Elements of Mathematical Logic
1952
La Noción de Lógica Matemática
1952
Computability and Logic
1952
Introducción a la metamatemática
1952
Lógica y fundamentos matemáticos
1952
Mathematical Logic
1952
Elements of Recursive Function Theory
1963
Mathematical Theory of Automata
1964
Theory of Recursive Functions and Effective Computability
1967
Mathematical Logic: A First Course
1971
Automata, Languages, and Machines
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