•  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
  •  Retrait gratuit dans votre magasin Club
  •  7.000.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Handbook of Proof Theory

Volume 137

Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 137
308,95 €
+ 617 points
Livraison 2 à 3 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Spécifications

Parties prenantes

Editeur:

Contenu

Nombre de pages :
810
Langue:
Anglais
Collection :
Tome:
n° 137

Caractéristiques

EAN:
9780444898401
Date de parution :
09-07-98
Format:
Livre relié
Format numérique:
Genaaid
Dimensions :
156 mm x 234 mm
Poids :
1319 g
Librairie Club

Seulement chez Librairie Club

+ 617 points sur votre carte client de Librairie Club
INSPIRATION

Idées cadeaux pour la fin d'année

Dans notre sélection vous trouverez le cadeau pour faire briller les yeux de vos proches.
INSPIRATION
Fin d'année 2025
Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.