5
$\begingroup$

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.

$\endgroup$
4
  • 2
    $\begingroup$ See this self study guide created by MSE's user Peter Smith. $\endgroup$
    – Git Gud
    Dec 5, 2013 at 23:14
  • $\begingroup$ Maybe Smullyan's "First Order Logic". Exercises do not have answers, but the book is still valuable. $\endgroup$ Dec 5, 2013 at 23:17
  • $\begingroup$ math.ucla.edu/~ynm/lectures/lnl.pdf $\endgroup$
    – epsilon
    Dec 6, 2013 at 11:13
  • $\begingroup$ 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 dcproof.com $\endgroup$ Dec 6, 2013 at 15:15

2 Answers 2

5
$\begingroup$

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.

$\endgroup$
4
$\begingroup$

A Friendly Introduction to Mathematical Logic 2nd Edition by Christopher C. Leary and Lars Kristiansen meets all your criteria.

The authors have made it freely available here: https://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/.

$\endgroup$
1

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.