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

Documents Kohlenbach, Ulrich 2 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xix; 523 p.
Call n° : 00035205
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

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

Location : Ouvrage RdC (KOHL)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xiii; 267 p.
Call n° : 00036281
logique mathématique # théorie de la preuve # logique formelle

03-06 ; 03Fxx ; 00B25

Location : Colloque 1er étage (WROC)

Bookmarks Report an error

Filter

Type
Authors
Language