Natural deduction, the logical basis of axiom systems
By: by John M. Anderson and Henry W. Johnstone.
Contributors: Johnstone, Henry W.
Publisher: Wadsworth
Published: 1963
Place of publication: Belmont, Calif
Number of pages: 418
Subjects: Logic, Symbolic and mathematical; Metamathematics