Andrews Peter B <br/><br/>
An introduction to mathematical logic & type theory: to truth through proof 
Andrews Peter B 
 - 2nd 
 - New york  Kluwer Acadmic  2001 
 - xviii,390p 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic
<br/><br/><label>Dewey Class. No.: </label>510.6424 AN-I