H Higher recursion theory
1990
xv, 344 p. ; 24 cm
35822
récursivité ; hyperarithmétique
https://projecteuclid.org/ebooks/perspectives-in-logic/volumes
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 35822 | 1019944 | GALERIE |
ISBN10 : 3-540-19305-7
Type de doc : M
Ville d'édition : Berlin ; Heidelberg ; New York NY
Pays d'édition : de
Langue ouvrage : eng
Collection : Perspectives in mathematical logic
ISSN Collection : 0172-6641
Bibliographie : Bibliogr. p. 339-342§Index
Class. Math. 1991 : 03D55 ; 03D60 ; 03D65 ; 03E15
Class. Library : QA9.6.S23
N° LCCCN : 88-35937
Class. Dewey : 511.3
ISBN supp. : 0-387-19305-7
Lien SUDOC : https://www.sudoc.fr/021006547