- 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
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Jacob T Schwartz, Domenico Cantone, Eugenio G Omodeo
Livre relié | Anglais
88,45 €
+ 176 points
Format
Description
Introduction
Propositional and Predicate-Calculus Preliminaries
A Survey of Inference Mechanisms
More on the Structure of the Verifier System
A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book
Undecidability and Unsolvability
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 416
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9780857298072
- Date de parution :
- 16-07-11
- Format:
- Livre relié
- Format numérique:
- Ongenaaid / garenloos gebonden
- Dimensions :
- 163 mm x 236 mm
- Poids :
- 771 g
