Introducción a la metamatemática
por Stephen Kleene · 1952
Sinopsis
Un texto seminal que establece las bases de la lógica matemática y la teoría de la recursión. Introduce formalismos y desarrolla de manera rigurosa los conceptos de computabilidad y funciones recursivas.
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 al análisis infitesimal
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