A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur D. A. CLARKE
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesHierarchies of predicates of finite types (1964) / D. A. CLARKE
Titre : Hierarchies of predicates of finite types Type de document : texte imprimé Auteurs : D. A. CLARKE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1964 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 51 Importance : 95 p. Langues : Anglais (eng) Catégories : 60G25
62M20Mots-clés : prédicat fonction récursive Note de contenu : bibliogr. Hierarchies of predicates of finite types [texte imprimé] / D. A. CLARKE, Auteur . - American Mathematical Society, 1964 . - 95 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 51) .
Langues : Anglais (eng)
Catégories : 60G25
62M20Mots-clés : prédicat fonction récursive Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4977 854/51 Livre Recherche Salle Disponible