Hedman, Shawn. <br/><br/>
A first Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity 

 - New York  Oxford University Press  2004 
 - xx,431p. 
<br/><br/><label>ISBN: </label>9780198529811 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic
<br/><br/><label>Dewey Class. No.: </label>160  / Hed