Natural deduction
Anderson, John Mueller,
Natural deduction the logical basis of axiom systems by John M. Anderson and Henry W. Johnstone, Jr. - Belmont, Ca. Wadsworth Publishing Co. 1962. - 418 pages ; illustrations : 24 cm.
Logic, Symbolic and mathematical.
Metamathematics.
Natural deduction the logical basis of axiom systems by John M. Anderson and Henry W. Johnstone, Jr. - Belmont, Ca. Wadsworth Publishing Co. 1962. - 418 pages ; illustrations : 24 cm.
Logic, Symbolic and mathematical.
Metamathematics.
