Set Theory, Logic, and Their Limitations by Moshe Machover