Articles liés à Mathematical Logic

Mathematical Logic - Couverture rigide

 
9783030738389: Mathematical Logic

Synopsis

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. 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). A short digression into model theory will help us to analyze the expres- sive power of the first-order language, and it will turn out that there are certain deficiencies. For example, the first-order language does not allow the formulation of an adequate axiom system for arithmetic or analysis. On the other hand, this difficulty can be overcome--even in the framework of first-order logic-by developing mathematics in set-theoretic terms. We explain the prerequisites from set theory necessary for this purpose and then treat the subtle relation between logic and set theory in a thorough manner.

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

À propos de l?auteur

Heinz-Dieter Ebbinghaus is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His work spans fields in logic, such as model theory and set theory, and includes historical aspects.

Jörg Flum is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His research interests include mathematical logic, finite model theory, and parameterized complexity theory.

Wolfgang Thomas is Professor Emeritus at the Computer Science Department of RWTH Aachen University. His research interests focus on logic in computer science, in particular logical aspects of automata theory.

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

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
EUR 64,69

Autre devise

EUR 2,27 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 61,27

Autre devise

EUR 2,27 expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783030738419: Mathematical Logic

Edition présentée

ISBN 10 :  3030738418 ISBN 13 :  9783030738419
Editeur : Springer, 2022
Couverture souple

Résultats de recherche pour Mathematical Logic

Image fournie par le vendeur

Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 43026974-n

Contacter le vendeur

Acheter neuf

EUR 61,27
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Heinz-Dieter Ebbinghaus
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-43185

Contacter le vendeur

Acheter neuf

EUR 63,61
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Heinz-Dieter Ebbinghaus
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-234200

Contacter le vendeur

Acheter neuf

EUR 63,61
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 26384672407

Contacter le vendeur

Acheter neuf

EUR 60,89
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Heinz-Dieter Ebbinghaus
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783030738389

Contacter le vendeur

Acheter neuf

EUR 58,73
Autre devise
Frais de port : EUR 5,78
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Heinz-Dieter Ebbinghaus
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783030738389

Contacter le vendeur

Acheter neuf

EUR 64,52
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Ebbinghaus, Heinz-Dieter
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide
impression à la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur STI8XGGJOH

Contacter le vendeur

Acheter neuf

EUR 58,23
Autre devise
Frais de port : EUR 6,80
De Italie vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Heinz-Dieter Ebbinghaus
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-43185

Contacter le vendeur

Acheter neuf

EUR 66,41
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Ancien ou d'occasion Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 43026974

Contacter le vendeur

Acheter D'occasion

EUR 64,69
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

0
Edité par Springer, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-14910

Contacter le vendeur

Acheter neuf

EUR 67,92
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 17 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre