I just started to learn mathematical logic. I'm a graduate student. I need a book with relatively more examples. Any recommendation?
For my work in this area, I refer to :
- Richard Epstein "Classical Mathematical Logic"
- Wolfgang Rautenberg "A Concise Introduction to Mathematical Logic"
- Jon Barwise "Handbook of Mathematical Logic"
- Jean Heijenoort "From Frege to Gödel"
- We Li "Mathematical Logic"
Rautenberg has a lot of examples, exercise, but is very heavy going (at least for me). Epstein is fairly recent and very well laid out. Barwise is the most comprehensive for when you need to deep dive.
A book that should be read by everyone in mathematics regardless of level is Wolfe's A Tour Through Mathematical Logic.
It's simply a compulsory read, I couldn't put it down. It gives a broad overview of mathematical logic and set theory along with its history, and it is absolutely beautifully written. That's the best place for anyone to begin.
Ebbinghaus, Flum and Thomas. Mathematical Logic (Amazon)
François G. Dorais and others made some great recommendations to me some time ago over on MathOverflow. They're fairly high-level (not exactly introductory courses) but they're good reads.
Here is an opinionated and detailed 100 page Study Guide to logic textbooks, updated fairly regularly.
Cori, Lascar, Pelletier, Mathematical Logic: A course with exercises -- Part I and Part II. Especially the second one.
You should take a look at D. Van Dalen: Logic and Structure.
I suggest to read:
- The incompleteness phenomenon, by H. Judah and M. Goldstern.
- There is a very good on-line course notes by L. van den Dries: http://www.math.uiuc.edu/~vddries/410notes/main.dvi
- A Mathematical Introduction to Logic by H. Enderton.
- Mathematical logic, by H.-D. Ebbinghaus, J. Flum and W. Thomas.
The following web page includes my list of 46 low to medium price textbooks on mathematical logic from 1940 to 2004 in chronological order.
There's such a wide variety of topics and approaches in logic, it's difficult to give a particular recommendation. So my web page contains lists of which books cover which topics, including a cross-reference table of which topics are in which books, in chronological order.
I know this is late by more than a decade, but you could give "Introduction to Logic and the Methodology of Deductive Sciences" by Alfred Tarksi a try, although I haven't read the entire book, I found the first few chapters of part I very readable. Here are some links to reviews of the book: