Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity . Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp.