Computability and Logic Paperback – 30 September 2007

I got this for self study (but have studied the topics in lesser detail while in college, but a long time back), and was confident that I will be able to understand most of it (except the more advanced further topics part). I think the organization of the book and the writing style is amazing, and care has been taken to make sure one does not loose the context or the big picture. Also, in some cases multiple ways of achieving the same result has been shown so readers can appreciate the nature of problem better.But I think the authors could have slowed down the pace of getting into some critical concepts, like minimization, semirecursiveness... also it's super confusing to see which functions are total and which partial in the recursive functions chapter. Also there are multiple definitions in a single paragraph at many places (in FOL chapters for instance), and its very easy to miss finer points and those parts have to read multiple times. The book is already thin (around 300 pages) so adding in another say 50 pages is not going to be a deal breaker. This is why I take out 1 star from rating. But if someone is using it along with a lecture or as a reference text then they should be fine.In author's defense I didn't attempt most of the exercises which now I come to think of it is a must to get most out of such a book. So, if you plan to self study I strongly suggest going through the exercises and just follow the usual reading order (I didn't find jumping between chapters any useful).