Prawitz, Dag

Natural deduction : A proof theoretical study / by Dag Prawitz - New York : Dover Publications , 1965 . - 113 p. Paper Back

9780486446554


Deduction
Symbolic and mathematical
Modality
Logic

510 / DAG-N