Set Theory and the Continuum Problem by Melvin Fitting & Raymond M. Smullyan