Prawitz, Dag

Natural Deduction: A Proof-Theoretical Study - New York Dover Publications 2006 - viii, 113p.

9780486446554


Logic, Symbolic and mathematical

162 / Pra