Lógica sin metafísica
1965·filosofia
Un trabajo fundamental en lógica intuicionista y teoría de la prueba, que explora cómo la validez de los argumentos puede basarse en la justificación de las inferencias en lugar de en la verdad de las proposiciones en un sentido clásico.
