Andrews, Peter B. <br/><br/>
Introduction to mathematical logic and type theory: To truth through proof 
by Peter B Andrews 
 - Orlando  Academic Press  1986 
 - xv, 304p. 
<br/><br/><label>ISBN: </label>0120585367 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N86