First-order logic - Smullyan, Raymond M. 1919-2017 (Springer, 1971)