Prawitz, Dag Natural deduction : A proof theoretical study / by Dag Prawitz - New York : Dover Publications , 1965 . - 113 p. Paper Back ISBN: 9780486446554 Subjects--Topical Terms: DeductionSymbolic and mathematical Modality Logic Dewey Class. No.: 510 / DAG-N