My logic course is based on my Computer Science education and on some random Internet pages (mostly Wiki). I want to make my knowledge of logic more coherent and fill in missing gaps. Thus I started reading Shoenfield's "Mathematical Logic" but I don't like this book. I found it to terse (almost no examples) and quite vague. I would like to read something more accessible yet rigorous enough about first order logic and something really brief and basics about model theory. I study by myself so I need some exercises, best with answers (no need for full solution) so I can be reassured that I understand topic well.
[Math] Book that is more accessible than Shoenfield
logicreference-requestself-learning
Best Answer
I'm not sure whether it is "wonderful" as Hunan Rostomyan very kindly says, but for what it is worth here's [a link to] an extensive Guide to the textbooks out there:
And yes, Shoenfield's Mathematical Logic is almost certainly not the place to start (it is indeed "terse", though "vague" is the wrong word -- "tough" would be better!). So certainly, don't be put off learning more logic by the fact that you found that particular book hard going. If you have a bit of maths/compsci background, you could find the widely available book by Enderton works well -- but there are other suggestions in the Guide. Just browse through a few options till you find one at the level that suits you best.