Set theory and the continuum problem - Smullyan, Raymond M. (Oxford logic guides, 1996)