Anderson, John M. <br/><br/>
Natural deduction :  the logical basis of axiom systems / 
John M. Anderson and Henry W. Johnstone 
 - Belmont :  Wadsworth Pub.,  1963 
 - xii, 417 p. :  ill. ;  23 cm. 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label> USD 8.50 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Metamathematics
<br/><br/><label>Dewey Class. No.: </label>164