Natural deduction a proof-theoretical study - Prawitz, Dag (Stockholm Almqvist & Wiksell, 1965)
Keywords: Philosophy