First-Order Logic. Volume 5 (1968)

by Raymond Smullyan