Teoría de la prueba
por Gerhard Gentzen · 1935
Ver sugerenciasSinopsis
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.
Más de Gerhard Gentzen
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.