Gödel's Incompleteness Theorems

For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought described with meticulous precision, the many definitions and theorems, and the now largely outdated notation turn Gödel's historical masterpiece into a difficult read.

This book explores Gödel's original proof in detail.