Picture 1 of 2
Stock photo
Picture 1 of 2
Stock photo
Pure and Applied Mathematics: a Wiley Series of Texts, Monographs and Tracts Ser.: Logic of Mathematics : A Modern Course of Classical Logic by Zofia Adamowicz and Pawel Zbierski (1997, Hardcover)
Better World Books West (354333)
98.7% positive feedback
Price:
US $15.56
ApproximatelyRM 66.57
+ $18.70 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherWiley & Sons, Incorporated, John
ISBN-100471060267
ISBN-139780471060260
eBay Product ID (ePID)962107
Product Key Features
Number of Pages272 Pages
Publication NameLogic of Mathematics : a Modern Course of Classical Logic
LanguageEnglish
SubjectLogic
Publication Year1997
TypeTextbook
AuthorZofia Adamowicz, Pawel Zbierski
Subject AreaMathematics
SeriesPure and Applied Mathematics: a Wiley Series of Texts, Monographs and Tracts Ser.
FormatHardcover
Dimensions
Item Height0.8 in
Item Weight16.7 Oz
Item Length9.4 in
Item Width6.4 in
Additional Product Features
Intended AudienceScholarly & Professional
LCCN95-020818
Dewey Edition20
Series Volume Number22
IllustratedYes
Dewey Decimal511.3
Table Of ContentPartial table of contents: MATHEMATICAL STRUCTURES AND THEIR THEORIES. Relational Systems. Boolean Algebras. Terms and Formulas. Substitution of Terms. Theorems and Proofs. Generalization Rule and Elimination of Constants. Peano Arithmetic. Ultraproducts. Supplementary Questions. SELECTED TOPICS. Total Functions. Incompleteness of Arithmetic. Tarski's Theorem. Matiyasevich's Theorem. Guide to Further Reading. References. Index.
SynopsisA 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: * G del'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 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-L wenheim constructions and other topics * Carefully chosen exercises for each chapter, plus helpful solution hints At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms. Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, G del's completeness theorem, models of Peano arithmetic, and much more. Part II focuses on a number of advanced theorems that are central to the field, such as G del's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems. With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic., This book looks at mathematical logic from the perspective of a mathematician rather than a logician. The authors explain the nature of mathematical reasoning and describe its applications to diverse branches of mathematics. They focus on relational structures rather than logical languages., A 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 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-Lwenheim constructions and other topics ∗ Carefully chosen exercises for each chapter, plus helpful solution hints At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms. Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gdel's completeness theorem, models of Peano arithmetic, and much more. Part II focuses on a number of advanced theorems that are central to the field, such as Gdel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems. With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic., A 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: * Gödel'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 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-Löwenheim constructions and other topics * Carefully chosen exercises for each chapter, plus helpful solution hints At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms. Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more. Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems. With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
LC Classification NumberQA9.A24 1997
Be the first to write a review
