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 results

Filter
Select: All / None
Q
K |
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.
Call n° : 00000700

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

Location : Ouvrage RdC (BARW)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 00010076

03D60 ; 03E45 ; 03E55 ; 04A20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Ouvrage RdC (DAVI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 00037016

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

Location : Ouvrage RdC (KFOU)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 00007690

03D25 ; 03D60

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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


Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 00000108
hiérarchie # mathématique logique et fondation

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

Location : Ouvrage RdC (HINM)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
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.
Call n° : 00014264
ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion

03D55 ; 03D60 ; 03D65 ; 03E15

Location : Ouvrage RdC (SACK)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

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

Ouvrage


Call n° : 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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language

Close
PreviousNext
PreviousMaximize
Next