Principios de demostración
1965·ensayo
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.