Teoría de la prueba
por Gerhard Gentzen · 1935
Sinopsis
Las tesis doctorales de Gentzen revolucionaron la lógica matemática al introducir el cálculo de secuentes y la deducción natural, sistemas formales para el razonamiento lógico que permiten analizar la estructura interna de las pruebas matemáticas, demostrando la consistencia de la aritmética.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda