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