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 : |
|
Nantilus
