Set Theory, Logic and Their Limitations by Moshe Machover