I started studying "Introduction to Mathematical Logic, Sixth Edition" by Elliot Mendelson. I tried to not read solutions as long as possible, but most exercises were awfully difficult to me, and the content itself was not easily digestible.

When I tried to solve exercises in the chapter about many valued logic, I couldn't even think of any approach of an exercise for half an hour, so I became impatient and read the solution. Some of the solutions were even cryptic as hell as below.

The solution to exercise 1.52

What? There are n^n possible truth functions of one variable? The book never taught me how to calculate the number of possible truth functions of one variable or more. I was confused a lot.

I study math alone at home, and I feel that I am probably not ready for this book if I find myself resorting to solutions often, and the solutions are difficult to understand.

The author claims "I believe that the essential parts of the book can be read with ease by anyone with some experience in abstract mathematical thinking. There is, however, no specific prerequisite.", and I had some experience in abstract mathematical thinking from "how to prove it, 2nd edition" by velleman. But, I feel that it is not really an introduction for someone who learns logic for the first time.

Can you recommend some other textbooks that can replace the book and that matches my level of math?

  • 1
    $\begingroup$ Have you gone back and reread the preceding chapters, along with solutions? I'd recommend also finding a secondary book, like an "intro to discrete math" with a chapter or two on logic. $\endgroup$ – galois Nov 7 '15 at 6:43
  • $\begingroup$ Maybe the author and you have a different definition of "advanced math". $\endgroup$ – fkraiem Nov 7 '15 at 6:57
  • $\begingroup$ Possible duplicate of this question. $\endgroup$ – user 170039 Nov 7 '15 at 7:22

Have a look at A first course in mathematical logic and set theory by Michael O'Leary. It does not cover too much too fast.

  • 1
    $\begingroup$ It is very good! Also, if you're a purely beginner in mathematical logic and/or logic field, Robert Causey's Logic, Sets and Recursion is a pretty good book. Enderton's book is not appropriate for beginners, truly. It should be read after finishing these two books(Causey's and Leary's). $\endgroup$ – Eric Aug 12 '17 at 15:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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