Set Theory, Logic and Their Limitations door Moshe Machover