A first course in logic an introduction to model theory, proof theory, computability and complexity - Hedman, Shawn (Oxford University Press, 2004)