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