A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03D25
Affiner la recherche Interroger des sources externes
Automorphisms of the lattice of recursively enumerable sets (1995) / Peter CHOLAK
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 (eng) 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 . - 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 (eng)
Catégories : 03D25 Mots-clés : récursivité automorphisme treilli isomorphisme Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7092 854/541 Livre Recherche Salle Disponible Techniques of admissible recursion theory (1984) / C.T. Chong
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 (eng) Catégories : 03D25
03D60Mots-clés : logique récursion Note de contenu : index, bibliogr. Techniques of admissible recursion theory [monographie] / C.T. Chong, Auteur . - Springer-Verlag, 1984 . - VII-214 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1106) .
ISBN : 978-3-540-13902-7
Langues : Anglais (eng)
Catégories : 03D25
03D60Mots-clés : logique récursion Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2311 LN 1106 Livre Recherche Salle Disponible