First-order logic - Smullyan, Raymond M. (Springer-Verlag, 1968)