H Enumerability, decidability, computability
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 6343 | 1012807 | GALERIE |
Sous-titre : an introduction to the theory of recursive functions
Type de doc : M
Ville d'édition : Berlin
Langue ouvrage : eng
Collection : Grundlehren der mathematischen wissenschaften
N° dans la collection : 127
ISSN Collection : 0072-7830
Lien SUDOC : https://www.sudoc.fr/009075763