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