Anderson, John M. <br/><br/>
Natural deduction : the logical basis of axiom systems 
John M. Anderson and Henry W. Johnstone 
 - Belmont, California  Wadsworth  1963 
 - xi,418kp.;  24cm. 
<br/><br/><label>Dewey Class. No.: </label>162  /  AND