• 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, Negri Sara
Paperback | Engels
€ 56,95
Uitvoering
Levering 1 à 2 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):
9780521068420
Verschijningsdatum:
10/07/2008
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Afmetingen:
152 mm x 229 mm
Gewicht:
408 g
Standaard Boekhandel

Alleen bij 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.