Natural deduction : the logical basis of axiom system /
Anderson, John Muller.
Natural deduction : the logical basis of axiom system / by Jo hn M. Anderson and Henry W. Johnstone - Belmont : Wadsworth Pub. Co. , 1962. - 418p. : ill. ; 24cm
Logic, Symbolic and mathematical.
Metamathematics
164 AND
Natural deduction : the logical basis of axiom system / by Jo hn M. Anderson and Henry W. Johnstone - Belmont : Wadsworth Pub. Co. , 1962. - 418p. : ill. ; 24cm
Logic, Symbolic and mathematical.
Metamathematics
164 AND