
por Stephen Cole Kleene · 1952
Sinopsis
Un texto clásico que introduce rigurosamente la metamatemática, la lógica matemática y la teoría de la computabilidad, sentando las bases para el estudio de los sistemas formales.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1952

1952

1952

1952

1952

1952

1952

1952

1952

1952

1952

1964

1967

1967

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