218 Pages
by
A K Peters/CRC Press
262 Pages
by
A K Peters/CRC Press
218 Pages
by
A K Peters/CRC Press
Also available as eBook on:
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.
Biography
Goldstern, Martin; Judah, Haim