Natural Deduction, A (1965)

by D Prawitz
Venue:ProofTheoretical Study. Almqvist & Wiksell