[nostrademons]

The Enderton book was what we used for my Mathematical Logic course, and it was pretty good. Thin, but a pretty clear and (apparently) comprehensive presentation.