
por Andrzej Mostowski · 1967
Sinopsis
Un texto avanzado de lógica matemática que explora las bases de la metamatemática, incluyendo la teoría de modelos, la demostración de consistencia y los límites de los sistemas formales.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda