Proof Theory and Meaning (1986)

by G Sundholm
Venue:Handbook of Philosophical Logic. Volume III. Alternatives to Classical Logic, volume 166 of Synthese Library