Hedman, Shawn <br/><br/>
A first course in logic : an introduction to model theory, proof theory, computability, and complexity 

 - Oxford:  Oxford University Press,  2004 
 - xx, 431 p. : ill. ; 25 cm 
<br/><br/><label>ISBN: </label>9780198529811 ; 9780198529804  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic
<br/><br/><label>Dewey Class. No.: </label>160 HED