Meaning and Proofs: On the (1977)

by D Prawitz
Venue:Conflict Between Classical and Intuitionistic Logic”, Theoria 43