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