
por Paul Rosenbloom · 1950
Sinopsis
Rosenbloom presenta una introducción detallada a la metamatemática, abordando los fundamentos de la lógica formal, la teoría de pruebas y la teoría de modelos de manera rigurosa y estructurada.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda