Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

Recursion theory : its generalisations and applications proceedings of Logic Colloquium '79, Leeds, August 1979

Enregistré dans:
Détails bibliographiques
Auteur principal : Logic colloquium
Collectivité auteur : Logic colloquium 1979 Leeds (Auteur)
Autres auteurs : Drake Frank R. (Éditeur scientifique), Wainer Samuel (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer
Publié : Cambridge, New York : Cambridge University Press , 1980
Description matérielle : 1 vol. (319 p.)
Collection : London Mathematical Society lecture note series ; 45
Sujets :
Fonctions récursives > Actes de congrès
Récursivité, Théorie de la > Actes de congrès
Chargement en cours