A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Automorphisms of the lattice of recursively enumerable sets / Peter CHOLAK (1995)
Titre : Automorphisms of the lattice of recursively enumerable sets Type de document : texte imprimé Auteurs : Peter CHOLAK, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1995 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 541 Importance : VII-151 p. ISBN/ISSN/EAN : 978-0-8218-2601-0 Langues : Anglais Catégories : 03D25 Mots-clés : récursivité automorphisme treilli isomorphisme Note de contenu : bibliogr. Automorphisms of the lattice of recursively enumerable sets [texte imprimé] / Peter CHOLAK, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1995 . - VII-151 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 541) .
ISBN : 978-0-8218-2601-0
Langues : Anglais
Catégories : 03D25 Mots-clés : récursivité automorphisme treilli isomorphisme Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7092 854/541 Livre Recherche Salle Disponible Techniques of admissible recursion theory / C.T. Chong (1984)
Titre : Techniques of admissible recursion theory Type de document : monographie Auteurs : C.T. Chong, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1106 Importance : VII-214 p. ISBN/ISSN/EAN : 978-3-540-13902-7 Langues : Anglais Catégories : 03D25
03D60Mots-clés : logique récursion Note de contenu : index, bibliogr. Techniques of admissible recursion theory [monographie] / C.T. Chong, Auteur . - Berlin : Springer-Verlag, 1984 . - VII-214 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1106) .
ISBN : 978-3-540-13902-7
Langues : Anglais
Catégories : 03D25
03D60Mots-clés : logique récursion Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2311 LN 1106 Livre Recherche Salle Disponible