
por Georg Kreisel · 1970
Sinopsis
Una colección de ensayos de un influyente lógico y filósofo de la matemática que aborda problemas fundamentales en la computabilidad, la prueba de consistencia y la relación entre la intuición y la formalización en las matemáticas.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1972

1975

1978

1980

1981

1984
1989

1992

1994

1996

1998
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.