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!