I just started to learn mathematical logic. I'm a graduate student. I need a book with relatively more examples. Any recommendation?
Good books on mathematical logic?
48
$\begingroup$
logic
big-list
reference-request
-
0When you say "more examples", do you mean more examples of the early syntactical stuff, or more thorough lists of specific theories to which general results apply? For the latter, the book by Donald Monk is good, although its notation takes getting used to. The chapters on decidable and undecidable theories include many concrete examples. For the former, you should think about upper-level undergraduate books. Most graduate-level books in logic (and other parts of mathematics) have very few worked examples of basic theorems. They assume you will work out examples on your own at that level. – 2010-09-10
-
0I think what I mean is more introduction about the intuition from which the theory was generalized. – 2010-09-14