Lectures in logic and set theory, Vol. 1, Mathematical logic - Tourlakis, George J. (Cambridge University Press, 2003)