•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Livres

Ebooks

Papeterie

Jeux

Cadeaux

Tous les produits

Dédicaces

Jobs

Articles

  1. Accueil
  2. Livres
  3. Sciences humaines
  4. Sciences
  5. Mathématiques
  6. Concepts de base des mathématiques
  7. First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Melvin Fitting
Livre broché | Anglais | Texts in Computer Science
152,95 €
+ 305 points
Livraison 2 à 3 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.

Spécifications

Parties prenantes

Auteur(s) :
Melvin Fitting
Editeur:
Springer

Contenu

Nombre de pages :
326
Langue:
Anglais
Collection :
Texts in Computer Science

Caractéristiques

EAN:
9781461275152
Date de parution :
26-06-13
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
170 mm x 244 mm
Poids :
553 g

Les avis