
por Stephen Cole Kleene · 1952
Sinopsis
Un texto clásico que cubre los fundamentos de la lógica matemática, la teoría de la computabilidad y los teoremas de incompletitud de Gödel, con un enfoque en la teoría recursiva.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1952
1952
1952
1952

1952

1952

1952
1964
1967

1967
1967
1967

1967
1975
1977
Libros relacionados según distintos criterios de búsqueda