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