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
© 2021 Managed and maintained by Central Library, IIT Goa