• 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

First-Order Logic and Automated Theorem Proving

Melvin Fitting
Paperback | Engels | Texts in Computer Science
€ 97,95
+ 195 punten
Levering 1 à 2 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
Formaat:
Trade paperback (VS)
Afmetingen:
170 mm x 244 mm
Gewicht:
553 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 195 punten op je klantenkaart van Standaard Boekhandel
Wedstrijd

Alleen in onze winkels: Win een weekend voor twee in Parijs

bij aankoop van een titel uit de selectie
Wedstrijd
wedstrijd parijs
Standaard Boekhandel

Beoordelingen

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