- #1
FluffyLlamas
- 2
- 0
I've been trying to decide on a mathematical logic textbook to teach myself a bit. I'm taking a course on it next semester, but I have never had a logic course before (I've had some CS courses though and proof-y math courses). I'm also taking a modal logic course the semester after math logic, so I was wondering if there was a good mathematical logic textbook I could use to review over the summer that perhaps has some relevant material to philosophical logic as well? I know the course I'm taking has no textbook, but rather a collection of notes from the professor. The course notes from two years ago has the following textbooks listed as potential supplementary sources:
Computability and Logic
D. E. Cohen, Ellis Horwood Limited, 1987
Mathematical Logic
E. B. Ebbinghaus, J. Flum, and W. Thomas, Springer-Verlag, 1984
Principles of Mathematical Logic
D. Hilbert and W. Ackermann, Chelsea, 1950
Notes on Logic and Set Theory
S. C. Kleene, Van Nostrand, 1952
A Course in Mathematical Logic
Yu. I. Manin, Springer-Verlag, 1977
Introduction to Mathematical Logic
Elliott Mendelson, Chapman and Hall/CRC, 1997
I've read through reviews for all of them and such and I'm thinking that Ebbinghaus et al or Mendelson would be the best for me?
Thanks for any help!
Computability and Logic
D. E. Cohen, Ellis Horwood Limited, 1987
Mathematical Logic
E. B. Ebbinghaus, J. Flum, and W. Thomas, Springer-Verlag, 1984
Principles of Mathematical Logic
D. Hilbert and W. Ackermann, Chelsea, 1950
Notes on Logic and Set Theory
S. C. Kleene, Van Nostrand, 1952
A Course in Mathematical Logic
Yu. I. Manin, Springer-Verlag, 1977
Introduction to Mathematical Logic
Elliott Mendelson, Chapman and Hall/CRC, 1997
I've read through reviews for all of them and such and I'm thinking that Ebbinghaus et al or Mendelson would be the best for me?
Thanks for any help!