MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have taken two introductory courses on logic. One was an undergraduate level and the second one was at the graduate level. Both used a set of notes written by the instructor. I'm thinking about graduate school in the field and would like to spend my next summer reading more about logic.

What I'm looking at is a good list of rigorous graduate level textbooks on the most important topics in logic that would get one started and which would provide a good foundation for graduate level studies. I have the whole summer and my senior year to prepare.

Which books would you recommend? My plan at this point would be to read a rigorous graduate level textbook on basic logic and then one on model theory. The ones that I've looked at are:

Manin, A Course in Mathematical Logic for Mathematicians

Marker, Model Theory: An Introduction

Would this be a nice place to start or are there better options?

share|cite|improve this question
Form my, the introduction to Set theory was J.D. Monk "Introduction to set theory", about logic I like very much P. Johnstone, "Notes on Logic and Set Theory " together Elliot Mendelson's "Introduction To Mathematical Logic"... YUry MAnin Book is a hard book for me (readable, but slowly..) – Buschi Sergio Apr 30 '12 at 20:31
I second Andreas's recommendation for Kunen's book. Marker's book on model theory is good, but beware of the – Zach N Apr 30 '12 at 23:24

For set theory, I recommend Drake's "Set theory: An introduction to large cardinals" (which also contains a good treatment of various other parts of set theory, before concentrating on large cardinals) and Kunen's "Set theory: An introduction to independence proofs." The "bible" of set theory is Jech's "Set Theory" but I think it may be easier to learn from Drake and Kunen first. [Do you get the impression that set theorists are not very creative when it comes to book titles?]

For logic in general, Shoenfield's "Mathematical Logic" covers an amazing amount of material in rather few pages. Most of it is great (if you do the exercises, into which a lot of material has been squeezed) but I wouldn't recommend his approach to constructibility and forcing --- use Kunen instead.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.