Metalogic: An Introduction to the Metatheory of Standard First Order Logic
"A remarkable book, in a class by itself among logic books. It  has the  ideal combination of readability, thoroughness, and preciseness. . . .  Recommended not only as a first course text, but also as painless,  indeed  pleasurable reading."  --Computing Reviews