First-Order Logic and Automated Theorem Proving | Melvin Fitting | Wiskunde & Statistiek | 9781461275152 | Standaard Boekhandel

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

Zoeken

Lezen

Leren

Geven

Beleven

Jonge gezinnen

Alle producten

E-books

Boekenbon

Promoties

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

€ 152,95

+ 305 punten

Levering 2 à 3 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

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.

Specificaties

Betrokkenen

Auteur(s):

Uitgeverij:

Inhoud

Aantal bladzijden:: 326

Taal:: Engels

Reeks:

Eigenschappen

Productcode (EAN):: 9781461275152

Verschijningsdatum:: 26/06/2013

Uitvoering:: Paperback

Bestandsformaat:: Trade paperback (VS)

Afmetingen:: 170 mm x 244 mm

Gewicht:: 553 g

Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 305 punten op je klantenkaart van Standaard Boekhandel

BUNDELPROMO

Profiteer nu van onze vroegboekkortingen

BUNDELPROMO

ACTIEPRIJS

op de Vivlio Light en Light HD e-reader

ACTIEPRIJS

AANGERADEN

door ons geselecteerd

AANGERADEN

Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.