The Work
First-Order Logic
The details
The Author
Raymond Smullyan
The offers