I am going to teach the standard undergraduate Logic course for math and engineering majors. What are good (bad) text-books and why. I have not taught that course for a while and wonder if there are new good books. Also those who took/taught such a course recently, please let me know your opinion about the text you used. I do not need Computer Science applications (I can include them myself, if needed). Just a standard first course in Mathematical Logic.
[Math] undergraduate logic textbook
big-listbookslo.logicreference-requesttextbook-recommendation
Related Question
- [Math] Propositional logic and first order logic textbook
- Textbook Source for Finite Group Properties from Character Table – Group Theory
- Solovay’s Land – Reference Request for Solovay’s Land
- [Math] Textbook for undergraduate course in geometry
- [Math] What books approach group theory through transformation/permutation groups
- [Math] The logic of Buddha: a formal approach
- [Math] Problems in advanced calculus
Best Answer
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.