Recursion theory

Recursion theory

Enregistré dans:
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 :
Récursivité, Théorie de la
Documents associés : Autre format: Recursion theory
Description
Notes : Au verso de la page de titre : "Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"
Bibliographie : Références bibliographiques
ISBN : 0-8218-1447-8