• 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

Structural Proof Theory

Sara Negri, Jan Von Plato
Hardcover | Engels
€ 183,45
+ 366 punten
Uitvoering
Levering 2 à 3 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Aantal bladzijden:
276
Taal:
Engels

Eigenschappen

Productcode (EAN):
9780521793070
Verschijningsdatum:
18/06/2001
Uitvoering:
Hardcover
Formaat:
Genaaid
Afmetingen:
150 mm x 229 mm
Gewicht:
589 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 366 punten op je klantenkaart van Standaard Boekhandel
LANG LEVE LEZEN

Ontmoet topauteurs in onze winkels

tijdens het Feest van het Boek van 24 t.e.m. 26 oktober
LANG LEVE LEZEN
Feest van het Boek
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
E-BOOK ACTIE
E-bookactie korting
Standaard Boekhandel

Beoordelingen

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