FrançaisApplied proof theory: proof interpretations and their use in mathematics
Ouvrage
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
Publisher City : Berlin ; Heidelberg
Publisher country : Allemagne
Language : English
EAN13 : 9783540775324
Collation : 24 cm#rel.#index
Series : Springer monographs in mathematics
Location : Ouvrage RdC (KOHL)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00035205 | [available] |
