- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Jacob T Schwartz, Domenico Cantone, Eugenio G Omodeo
Hardcover | Engels
€ 88,45
+ 176 punten
Uitvoering
Omschrijving
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
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 416
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9780857298072
- Verschijningsdatum:
- 16/07/2011
- Uitvoering:
- Hardcover
- Formaat:
- Ongenaaid / garenloos gebonden
- Afmetingen:
- 163 mm x 236 mm
- Gewicht:
- 771 g
Alleen bij Standaard Boekhandel
+ 176 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.