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