First-order Logic - Smullyan R M (Berlin Springer-Verlag, 1968)
Keywords: Mathematical Logic; Symbolic