A first course in logic : an introduction to model theory, proof theory, computability, and complexity - Hedman, Shawn (Oxford texts in logic ;, 2006)