Retour Retour

Mathematical Logic

Auteur: Heinz-Dieter Ebbinghaus
Langue: Anglais

Voir
Auteur: Heinz-Dieter Ebbinghaus Joerg Flum
  • en
  • Broché
  • 9783030738419
  • 30 mai 2022
  • 304 pages
Toutes les spécifications de l'article

Résumé

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Spécifications produit

Contenu

Langue
en
Binding
Broché
Date de sortie initiale
30 mai 2022
Nombre de pages
304

Personnes impliquées

Auteur principal
Heinz-Dieter Ebbinghaus
Deuxième auteur
Joerg Flum
Editeur principal
Springer Nature Switzerland AG

Autres spécifications

Hauteur de l'emballage
235 mm
Largeur d'emballage
155 mm
Largeur du produit
155 mm
Livre d‘étude
Non
Longueur d'emballage
235 mm
Longueur du produit
235 mm
Poids de l'emballage
486 g
Édition
3e éd.2021

EAN

EAN
9783030738419

Vous trouverez cet article :

Catégories
Livre, ebook ou livre audio ?
Livre
Langue
Anglais
Disponibilité
Disponible à l'adresse suivante

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol.com n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

Choisissez la version souhaitée

Choisissez votre binding (2)
Broché €57,99 Couverture rigide €62,99

Informations sur les prix et commande

Le prix de ce produit est de 57 euros et 99 cents.
3 - 4 semaines
Vendu par bol
Ajouter au panier
  • Livraison comprise avec bol
  • Retrait possible dans un point-relais bol
  • 30 jours de réflexion et retour gratuit
  • Service client 24h/24

D'autres ont aussi regardé

Voir la liste complète