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 03F15 3 results

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

Location : Ouvrage RdC (SCHW)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 225 p.
Call n° : 00004229
ensemble bien ordonné # nombre ordinal # ordinal récursif # théorie des ensembles # type d'ordre constructif

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

Location : Ouvrage RdC (CROS)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 189 p.
Call n° : 00008778
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

Location : Ouvrage RdC (ROSE)

Bookmarks Report an error

Filter

Authors
Reference
MSC Codes
Publication Date