Introduction to Mathematical Logic (Dover Books on Mathematics)

This dover reprint of original Addison wesley book. It covers everything relevant for CS students. I got new book for 68 INR (40 INR delivery charges). Go for it .

Great for self-study.

The type of writing intended to make the reader's easy. Clear, concise with a limited amount of notations, intuitions are always to the point, this writing allows for a smooth reading of an otherwise difficult topic. Pity editors do force authors to write this way.

Looks like the Dover Books are worth to collect, might buy some more in the serials later. You just can't have enough math.

I'm a machine learning scientist and have been returning to this book since 2015 to read up on first order logic and Godel theorems. Unlike many books in this area, I think this book strikes a great balance between rigor and intuition. I love how the author first uses (un)decidability as a conceptual placeholder to explain concepts such as Godel expressibility before formalizing it later with recursion. This book has been my self-study guide to learning foundations, starting with formal languages and axioms as basic as counting notches on a paper, up till (almost) grasping proofs of Godel's incompleteness theorems.

I can't really compare because it's the only book I've read on the topic. I absolutely loved it though and usually textbooks like this are way more expensive.