9780387942582: Mathematical Logic
Couverture rigide
ISBN 10 : 0387942580 ISBN 13 : 9780387942582
Editeur : Springer-Verlag New York Inc., 1994

Synopsis

Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of a given axiom system (and in particular, imitate all mathemat­ ical proofs).

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

À propos de la quatrième de couverture

Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of a given axiom system (and in particular, imitate all mathemat­ ical proofs).

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

Éditeur
Springer-Verlag New York Inc.
Date d'édition
1994
Langue
anglais
ISBN 10 
0387942580
ISBN 13 
9780387942582
Reliure
Relié
Numéro d'édition
2
Nombre de pages
301
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9781475723571: Mathematical Logic

Edition présentée

ISBN 10 :  1475723571 ISBN 13 :  9781475723571
Editeur : Springer, 2012
Couverture souple