
por Dag Prawitz · 1965
Sinopsis
Una obra clave en la lógica matemática que desarrolla la teoría de la prueba de la deducción natural y cómo se relaciona con la semántica de la lógica, brindando una estructura formal para la comprensión de las demostraciones matemáticas.
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