Mathematical logic. - Ian Chiswell; Wilfrid Hodges (Clarendon Press, 2007)