Set Theory, Logic, and Their Limitations door Moshe Machover