I am teaching a topics course for Mathematics majors (at Temple), and am considering Logic as the topic. I was wondering if people (a) have suggestions for an appropriate text and (b) how much might be reasonable to cover in a semester. Is it feasible to end with a little model theory, or would that be a pipe dream?

**EDIT**
The students are theoretically math majors, and the title of the course is "Senior Problem Solving", so they are seniors with high probability. Which means that they have a couple of courses in real analysis, and one in abstract alge