Logic of mathematics
a modern course of classical logic
by Zofia Adamowicz
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: Godel's theorems of completeness and incompleteness, the independence of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and Matiyasevich's theorem on diophantine formulas.
Logic of Mathematics also features full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types; clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Lowenheim constructions and other topics; and carefully chosen exercises for each chapter, plus helpful solution hints.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
|
zzzz
|
|
2
Logic of Mathematics: A Modern Course of Classical Logic
2011, Wiley & Sons, Incorporated, John
in English
1118032543 9781118032541
|
zzzz
|
|
3
Logic of Mathematics: A Modern Course of Classical Logic
2011, Wiley & Sons, Incorporated, John
in English
1118030796 9781118030790
|
zzzz
|
4
Logic of mathematics: a modern course of classical logic
1997, Wiley
in English
0471060267 9780471060260
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 252-256) and index.
"A Wiley-Interscience publication."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 12 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 10, 2025 | Edited by MARC Bot | import existing book |
| August 6, 2024 | Edited by MARC Bot | import existing book |
| January 15, 2023 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |