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

 -  OUP Oxford  2004 
 - Oxford Texts in Logic .
<br/><br/><label>ISBN: </label>9780198529804 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Logic<br/>Logic,Logic, Symbolic and mathematical<br/>MATHEMATICS