Now I’m back from my Bahamian break, I’m intermittently doing some reading, preparing for another version of the Teach Yourself Logic Guide to be put online at the end of the month. I’ve just been taking another look at Enderton’s much used, and often recommended, A Mathematical Introduction to Logic (to which I perhaps gave rather short shrift before). It strikes me as a good book, meeting it again after a long gap, now in the guise of its second edition. But it also strikes me as tougher going than it purports to be. So my summary verdict, from the draft page-and-a-bit that I’ll be adding to the appendix on the Big Books on Mathematical Logic, is that Enderton’s Chs 1 and 2 would make good supplementary reading if you’ve already read a more user-friendly text on first-order meta-theory, and that his even-more-action-packed Ch.3 would make good consolidatory reading if you’ve already read something more introductory on incompleteness (like IGT, for example!).
But what do/did you think of Enderton’s text as a teacher/student? I’d be interested to hear as it is still recommended so often.
[Added: Well, in the end, I didn’t really wait for answers before posting the new version of TYL which has a long entry on the book. But I’d still be interested to know how my comments play.]