En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Applied proof theory: proof interpretations and their use in mathematics

Sélection Signaler une erreur
Ouvrage

Kohlenbach, Ulrich (Principal)

Springer-Verlag

2008

xix; 523 p.

978-3-540-77532-4

00035205

03F03 ; 03F10 ; 03B30 ; 41A10 ; 41A52 ; 47H09 ; 47H99

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00035205

[disponible]
Sélection Signaler une erreur