A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur C.T. Chong |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
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