Andrews, P. B. <br/><br/>
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 

 - Dordrecht  Kluwer Academic Publisher  2002 
 - xviii, 390p. 
 - Applied Logic Series. 27. .
<br/><br/><label>ISBN: </label>978-1-402-00763-7