I have taught an undergrad course out of Enderton's "A Mathematical Introduction to Logic". I thought it was very accessible and was relatively modern in its viewpoint. I chose it somewhat by default, and at first I wasn't sure about it, but it grew on me during the semester. It's certainly worth looking into.
|
1 | [made Community Wiki] | ||
|
|
||||
