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 03D60 13 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Admissible sets and structures Barwise, Jon | Springer-Verlag 1975

Ouvrage

- 394 p.
Cote : 00000700

03D60 ; 03C75 ; 03-02 ; 03C99 ; 03E55

Localisation : Ouvrage RdC (BARW)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Filters and ultrafilters over definable subsets of admissible ordinals Baeten, J. C. M. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 77 p.
Cote : 00010076

03D60 ; 03E45 ; 03E55 ; 04A20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computability and unsolvability Davis, Martin D. | McGraw-Hill Book Company 1958

Ouvrage

- 210 p.
Cote : 00027579
calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

Localisation : Ouvrage RdC (DAVI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A programming approach to computability Kfoury, A. J. ; Moll, Robert N. ; Arbib, Michael A. | Springer-Verlag 1982

Ouvrage

- viii; 251 p.
Cote : 00037016

03D60 ; 68N01 ; 03D80 ; 68-02 ; 03-02

Localisation : Ouvrage RdC (KFOU)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Techniques of admissible recursion theory Chong, C. T. | Springer-Verlag 1984

Ouvrage

- 396 p.
Cote : 00007690

03D25 ; 03D60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Higher set theory :
proceedings, oberwolfach#April 13-23 Muller, G. H. ; Scott, D. S. | Springer-Verlag 1978

Congrès

- 476 p.
Cote : 00011073
axiomatique # classification d'ensembles # fondements des mathématiques # indépendance # logique # nombre cardinal # recursion logique # résultat de consistce # ensemble ordonné # théorie de la recursion # théorie des ensembles # théorie descriptive d'ensemble

03D60 ; 02K05 ; 02K15 ; 02K30 ; 02K35

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski
proceedings of the second conference
Sept. 17-28 Marek, W. ; Srebrny, M. ; Zarach, A. | Springer-Verlag 1976

Congrès


Cote : 00020568
algèbre de Boule # alpha- récursion # axiome de Martin # beta- modèle # bibliographie # co-finalité # curriculum vitae # ensemble flou # extensibilité # hiérarchie de Von Neumann # jeu d'Ehrenfeucht # lemme de König # modèle de la théorie des ensembles de Morse # modèle standard # problème de Souslin # problème de décision # puissance de cardinal singulier # quantificateur de Härtig # quantificateur généralisé # réel définissable # saturabilité et universalité # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternatives[-]
algèbre de Boule # alpha- récursion # axiome de Martin # beta- modèle # bibliographie # co-finalité # curriculum vitae # ensemble flou # extensibilité # hiérarchie de Von Neumann # jeu d'Ehrenfeucht # lemme de König # modèle de la théorie des ensembles de Morse # modèle standard # problème de Souslin # problème de décision # puissance de cardinal singulier # quantificateur de Härtig # quantificateur généralisé # réel définissable # saturabilité ...[+]

03D60 ; 02F29 ; 02F35 ; 02H05 ; 02H13

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Recursion-theoretic hierarchies Hinman, Peter G. | Springer-Verlag 1978

Ouvrage

- 480 p.
Cote : 00000108
hiérarchie # mathématique logique et fondation

03D60 ; 03D65 ; 03E15 ; 03-02 ; 04A15

Localisation : Ouvrage RdC (HINM)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Higher recursion theory Sacks, Gerald E. | Springer-Verlag 1990

Ouvrage

- 344 p.
Cote : 00014264
ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion

03D55 ; 03D60 ; 03D65 ; 03E15

Localisation : Ouvrage RdC (SACK)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computations in higher types Moldestad, Johan | Springer-Verlag 1977

Ouvrage


Cote : 00020610
calcul dans les types supérieurs # caractère Mahlo # domaine de calcul # liste normale # longueur de calcul fosse # objet normal # platek # récursion de Kleene # théorie de Kleene abstraite # théorie de calcul normale

03D60 ; 03D65 ; 03-02

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue