Hedman, Shawn. <br/><br/>
A first course in logic : an introduction to model theory, proof theory, computtability, and complexity /  
by Shawn Hedman. 
 - /   . 
 - Oxford :   Oxford University Press ,   2006. 
 - xx,431p. :   illus.,figs. ;   25cm .  
<br/><br/>Includes bibliogrphy & index 
<br/><br/><label>ISBN: </label>0198529813  GBP 29.99 
<br/><br/><label>Subjects--Index Terms: </label>LOGIC 
<br/><br/><label>Dewey Class. No.: </label>160  / HED/F