
por Dag Prawitz · 1965
Sinopsis
Este trabajo es un texto fundamental en la teoría de la prueba, donde Prawitz formaliza la noción de prueba natural en lógica. Aborda las propiedades estructurales de las deducciones lógicas y la normalización de las pruebas.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda