Smullyan's book on First-Order Logic is still the best textbook I have ever read in any subject. I wish more people would write as succinctly as he did.

http://store.doverpublications.com/0486683702.html