Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell (1965)

by Dag Prawitz