First-Order Logic by Mathematics & Raymond M. Smullyan