First-order logic - Smullyan, Raymond M. (Berlin Springer-Verlag, 1968)
Keywords: First Order Logic