Raymond R Smullyan

• First-Order Logic