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.
The book should interest everyone from mathematicians to philosophers and readers who wish to understand the foundations and limitations of rational thinking. It is used as a textbook at major colleges and universities but lends itself to self-study as well.
