First-Order Logic door Mathematics & Raymond M. Smullyan