m

Documents  Kohlenbach, Ulrich | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiii; 267 p.
ISBN 978-0-521-76065-2

Lecture notes in logic

Localisation : Colloque 1er étage (WROC)

logique mathématique # théorie de la preuve # logique formelle

03-06 ; 03Fxx ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xix; 523 p.
ISBN 978-3-540-77532-4

Springer monographs in mathematics

Localisation : Ouvrage RdC (KOHL)

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

... Lire [+]

Z