Logic of Mathematics by Zofia Adamowicz, Pawel Zbierski - 9780471060260

Logic of MathematicsA Modern Course of Classical Logic\nAuthor(s): Zofia Adamowicz, Pawel Zbierski\nFormat: Hardback\nPublisher: John Wiley & Sons Inc, United States\nImprint: Wiley-Interscience\nISBN-13: 9780471060260, 978-0471060260\nSynopsis\nA thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems: * Gdel's theorems of completeness and incompleteness * The independence of Goodstein's theorem from Peano arithmetic * Tarski's theorem on real closed fields * Matiyasevich's theorem on diophantine formulas Logic of Mathematics also features: * Full coverage of .