Andrews, Peter, B. <br/><br/>
Introduction to mathematical logic and type theory: to truth through proof 

 - New York  Academic Press  1986 
 - xv, 304p, 22 cm. 
 - Computer science and applied mathematics .
<br/><br/><label>Dewey Class. No.: </label>511.3,  / D, and