Anderson, John Muller. <br/><br/>
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 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Metamathematics
<br/><br/><label>Dewey Class. No.: </label>164 AND