Lógica y fundamentos matemáticos
por Stephen Kleene · 1952
Sinopsis
Este texto clásico explora los fundamentos de la lógica matemática, la teoría de la recursión y la computabilidad, sentando las bases teóricas de la computación y la programación tal como las conocemos.
Sé el primero en valorar este libro.
Más de Stephen Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Mathematical Logic
1952
sin portada
Computability and Logic
1952
Elements of Mathematical Logic
1952
Elements of Recursive Function Theory
1963
sin portada
Mathematical Theory of Automata
1964
sin portada
Theory of Recursive Functions and Effective Computability
1967
Automata, Languages, and Machines
1971
Mathematical Logic: A First Course
1971
sin portada
Finite Models and Finite Structures
1976
Realizability
1980
sin portada
Computer Science: The Hardware and Software
1984
Logic, Algebra, and Computability
1986
Design and Analysis of Algorithms
1988
sin portada
The Kleene Algebra
1994
sin portada
Introduction to Automata Theory, Languages, and Computation
1997
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.