Andrews, P. B.  1937- <br/><br/>
An introduction to mathematical logic and type theory :  to truth through proof / 
Peter B. Andrews. 
 - Orlando :  Academic Press,  1986. 
 - xv, 304 p. 
 - Computer science and applied mathematics .
<br/><br/><label>ISBN: </label>0120585359 (alk. paper) 0120585367 (pbk. : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Type theory.
<br/><br/><label>LC Class. No.: </label>QA9  / .A638 1986 
<br/><br/><label>Dewey Class. No.: </label>511.3�19