Validity and normalizability of proofs in 1-st and 2-nd order classical and intuitionistic logic (1981)

by D Prawitz
Venue:In Atti del I Congresso Italiano di Logica