Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Adamowicz, Zofia,Zbierski, Pawel

ISBN 10: 0471060267 / ISBN 13: 9780471060260

Edité par Wiley-Interscience, 1997

A propos de cet article

This is a used book. It may contain highlighting/underlining and/or the book may show heavier signs of wear . It may also be ex-library or without dustjacket.

N° de réf. du vendeur mon0001178582

Détails bibliographiques

• Titre: Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
• Éditeur: Wiley-Interscience
• Date de parution: 1997
• Langue: anglais
• ISBN à 10 chiffres: 0471060267
• ISBN à 13 chiffres: 9780471060260
• Reliure: hardcover
• État de l'article: Acceptable
• État de la jaquette: Includes dust jacket.

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.