m

Bibliothèques de mathématique et de l'IREM

Documents  Shore, Richard A. | enregistrements trouvés : 2

O
K L Q M | g | F x r
     

-A +A

P Q

Shore, Richard A.

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

Computability theory and its applications, current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and its applications, June 13-17, 1999, University of Colorado, Boulder Ed. Cholak, Peter ; Ed. Lempp, Steffen ; Ed. Lerman, Manuel ; Ed. Shore, Richard A. ; American mathematical Society ; Institute for mathematical sciences ; Society for industrial and applied mathematics. -Providence RI : American mathematical Society , 2000 . - xvi, 320 p. ; 26 cm


MathCongrès

calculabilité ; théorie des ensembles ; récursion ; récursivité ; décidabilité

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Hirschfeldt, Denis R. ; Lange, Karen ; Shore, Richard A.. -Providence RI : American mathematical Society , 2017 . - v, 101 p. ; 26 cm
ISBN 9781470426576
https://www.ams.org/books/memo/year/2017/


MathOuvrage

induction ; théorie des modèles

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z