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 [+]