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