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