Recursion theory

Détails bibliographiques
Collectivités auteurs : American mathematical society (Organisateur de réunion), Association for symbolic logic (Organisateur de réunion), AMS-ASL Summer Institute on Recursion Theory Ithaca, N.Y. 1982 (Auteur)
Autres auteurs : Nerode Anil (Éditeur scientifique), Shore Richard A. (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Publié : Providence, R.I. : American Mathematical Society , cop. 1985
Description matérielle : 1 vol. (vii, 528 p.)
Collection : Proceedings of symposia in pure mathematics ; 42
Sujets :
Documents associés : Autre format: Recursion theory
Chargement en cours