Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 know a similar question has already been asked, but can anyone suggest a good book on mathematical logic that includes answers to exercises? I am looking for something that is conducive to self-study and knowing if I'm right or wrong with the exercises is very important to me. Thanks for any input.

share|cite|improve this question
See this self study guide created by MSE's user Peter Smith. – Git Gud Dec 5 '13 at 23:14
Maybe Smullyan's "First Order Logic". Exercises do not have answers, but the book is still valuable. – Jean-Claude Arbaut Dec 5 '13 at 23:17
While it is designed for students making the transition to proof-based mathematics, you may find my tutorial useful, at least initially. It has 13 worked examples. At the end of each example, there are exercises, each with hints and full solutions. The tutorial comes with my free proof-checking software downloadable at my website – Dan Christensen Dec 6 '13 at 15:15

I picked Chiswell and Hodges "Introduction to Mathematical Logic" which I found in Peter Smith's guide and I personally regard it as one of the best mathematical book I have ever read. It has a lot of exercises many of them have full solutions. I am also self learner and I know how important are exercises with at least answers if not full solutions.

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.