Prawitz, Dag Natural Deduction: A Proof-Theoretical Study - New York Dover Publications 2006 - viii, 113p. ISBN: 9780486446554 Subjects--Topical Terms: Logic, Symbolic and mathematical Dewey Class. No.: 162 / Pra