Proof Theory and Meaning (1986)

by G Sundholm
Venue:in: Handbook of Philosophical Logic III