m

F Nous contacter

0

Documents  03F10 | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- xiii; 465 p.
ISBN 978-0-521-51769-0

Perspectives in logic

Localisation : Ouvrage RdC (SCHW)

théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité

03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40

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

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

- 305 p.

Monographie de l'enseignement mathématique , 0015

Localisation : Ouvrage RdC (KURA)

algèbre de Boole # calcul propositionnel # complexe # coupure du plan # espace compact # espace métrique # homologie # opération # relation d'ordre # simplexe # théorie des ensembles # topologie

03B05 ; 03Exx ; 03F10 ; 54D30 ; 54E35

... Lire [+]

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

- 417 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CURR)

fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie

03B40 ; 03F10

... Lire [+]

Z