1. Aaronson S. Shtetl-Optimized blog. Rosser’s Theorem via Turing Machines. https://scottaaronson.blog/?p=710, 2011.
2. Cohen PJ. Set theory and the continuum hypothesis. New York: W.A. Benjamin, 1966.
3. Smullyan RM and Fitting M. Set theory and the continuum problem. Dover Publications, New York, 2010.
4. Weaver N. Forcing for mathematicians. World Scientific Publishing Co. 2014.