Logic of Mathematics: A Modern Course of Classical Logic - Couverture rigide

Adamowicz, Zofia; Zbierski, Pawel

 
9780471060260: Logic of Mathematics: A Modern Course of Classical Logic
Couverture rigide
ISBN 10 : 0471060267 ISBN 13 : 9780471060260
Editeur : Wiley-Interscience, 1997

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À 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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Wiley-Interscience
Date d'édition
1997
Langue
anglais
ISBN 10 
0471060267
ISBN 13 
9780471060260
Reliure
Relié
Nombre de pages
272
Coordonnées du fabricant
non disponible
Personne responsable
non disponible