Mathematical Logic
Auteur:
Heinz-Dieter Ebbinghaus
Joerg Flum
- en
- Couverture rigide
- 9783030738389
- 29 mai 2021
- 304 pages
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 Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Spécifications produit
Nous n'avons trouvé aucune spécification pour votre recherche '{SEARCH}'.
Contenu
- Langue
- en
- Binding
- Couverture rigide
- Date de sortie initiale
- 29 mai 2021
- 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
- 698 g
- Édition
- 3e 2021 éd.
EAN
- EAN
- 9783030738389
Vous trouverez cet article :
- Catégories
- Livre, ebook ou livre audio ?
- Livre
- Langue
- Anglais
- Disponibilité
- Disponible à l'adresse suivante
Choisissez la version souhaitée
Choisissez votre binding
(2)
Informations sur les prix et commande
Le prix de ce produit est de 62 euros et 99 cents.
Au plus tard le 11 juin chez vous
Vendu par bol
- Livraison comprise avec bol
- Retrait possible dans un point-relais bol
- 30 jours de réflexion et retour gratuit
- Service client 24h/24
Signaler cet article
Vous souhaitez signaler un contenu illégal à propos cet article:
- Je souhaite faire un signalement en tant que client.
- Je veux faire un signalement en tant qu'autorité ou personne de confiance.
- Je veux faire un signalement en tant que propriétaire de partenaire
- Je veux faire un signalement en tant que propriétaire de marque
Vous n'êtes pas un client, une autorité, personne de confiance, propriétaire de marque ou un partenaire ? Dans ce cas, utilisez le bouton ci-dessous pour effectuer un signalement.