Mathematical logic - Tourlakis, George J. (Cambridge studies in advanced mathematics, 2003)