Logic of Mathematics : A Modern Course of Classical Logic

Pawel Zbierski

ISBN 10: 0471060267 / ISBN 13: 9780471060260

Edité par Wiley Apr 1997, 1997

A propos de cet article

Neuware - A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logicLogic 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 formulasLogic 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 hintsAt 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.

N° de réf. du vendeur 9780471060260

Détails bibliographiques

• Titre: Logic of Mathematics : A Modern Course of Classical Logic
• Éditeur: Wiley Apr 1997
• Date de parution: 1997
• Langue: anglais
• ISBN à 10 chiffres: 0471060267
• ISBN à 13 chiffres: 9780471060260
• Reliure: Buch
• État de l'article: Neu
• Dimensions: 240 L x 161 H x 19 P (en millimètres) 240 millimètres de largeur par 161 millimètres de hauteur par 19 millimètres de profondeur
• Poids: 583 grammes

A propos de ce titre

Synopsis

A comprehensive introduction to the study of deductive argument, structure and relations of statements found in symbolic logic. Beginning with introductory material that develops the theory of relational structures with a particular emphasis on Boolean algebras, the text goes on to introduce and discuss formulas, the truth relation, theories, models, definability, compactness, ultraproducts, realization, omitting of types, and so on. The second half of the text consists of famous theorems crucial in the development of mathematical logic including Godel's theory, Goodstein's theorem from Peano arithmetic, Cohen's proof of Tarski's theorem on elimination of quantifiers, and the Matiyasevich theorem on diophantine relations.

À propos de l'auteur

ZOFIA ADAMOWICZ, PhD, is a professor at the Institute of Mathematics of the Polish Academy of Sciences in Warsaw.

PAWEL ZBIERSKI, PhD, is a professor at the Department of Mathematics at Warsaw University and the coauthor of Hausdorff Gaps and Limits.