Top positive review
40 people found this helpful
Mainline Incompleteness with this Book!
on March 22, 2000
I highly recommend this title because it supplys all the necessary proofs for a nuts and bolts understanding of incompleteness, including incompleteness proofs for Peano arithmetic and the unprovability of consistency.
This title is a difficult read but the only prerequisite is a familiarity of first-order logic equivalent to a one semester college course.
A lot of the proofs are based on new material and are easier to understand than the original work by KG.
An added benefit is the exercises. They are not impossible and aid in one's understanding.
This book is well worth the work in demands.