This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest everyone from mathematicians to philosophers and general readers who wish to understand the foundations and limitations of modern mathematics.
Table of Contents
Introduction, 1 The Framework of Logic, 2 Completeness, 3 Model Theory, 4 The Incompleteness Theorem. Index.
Goldstern, Martin; Judah, Haim