The Incompleteness Phenomenon [Hardcover]

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.Introduction, 1 The Framework of Logic, 2 Completeness, 3 Model Theory, 4 The Incompleteness Theorem. Index.   Goldstern, Martin; Judah, Haim