Manin, Yu.I. <br/><br/>
A course in mathematical logic for mathematicians  

 - 2nd ed. 
 - New York :  Springer-verlog,  ©2010. 
 - xvii, 384 p. :  ill. ;  25 cm (Hardbound) 
 - Graduate texts in mathematics ;  53. .
<br/><br/><label>ISBN: </label>9781441906144 
<br/><br/><label>Subjects--Index Terms: </label>Symbolic and mathematical Logic  Logic Mathematics Model theory Proof theory 
<br/><br/><label>Dewey Class. No.: </label>511.3  / MAN / B