m

F Nous contacter

0

Documents  03F15 | enregistrements trouvés : 3

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.

- 189 p.
ISBN 978-0-19-853189-0

Oxford logic guides , 0009

Localisation : Ouvrage RdC (ROSE)

fonction de base # hiérarchie étendue de Grzegorczyk # induction transfinie # petite classe de type Grzegorczyk # récursion ordinaire et nichée # sous-récursion # théorie de la hiérarchie # théorème d'incomplétude de Godel

03D20 ; 03F15 ; 03F40

... Lire [+]

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

- 225 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CROS)

ensemble bien ordonné # nombre ordinal # ordinal récursif # théorie des ensembles # type d'ordre constructif

03E10 ; 03Exx ; 03F15 ; 04-XX ; 04A10

... Lire [+]

Z