Natural deduction
Subtitle: the logical basis of axiom systems [by] John M. Anderson and Henry W. Johnstone, Jr.
Contributors: Johnstone, Henry W., jt. author
Publisher: Wadsworth Pub. Co.
Published: 1963
Place of publication: Belmont, Calif
Language: eng
Number of pages: 418
Subjects: Logic, Symbolic and mathematical; Metamathematics
Notes: Includes bibliography.