Lógica sin metafísica

Sinopsis

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.