Applied proof theory: proof interpretations and their use in mathematics
logique # théorie de la démonstration # fonctionnelle de Gödel # appoximation par des polynômes # unicité de la meilleure approximation # théorie du point fixe
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540775324
Collation : 24 cm#rel.#index
Collection : Springer monographs in mathematics
Localisation : Ouvrage RdC (KOHL)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00035205 | [disponible] |