Natural deduction a proof-theoretical study - Prawitz, Dag 1936- (Almqvist & Wiksell, 1965)