Meaning and proofs: On the conflict between classical and intuitionistic logic (1977)

by Dag Prawitz
Venue:Theoria