Degrees of unsolvability : structure and theory
1979
xiv, 240 p.
3-540-09710-4
M/A1(759)
logique ; mathématique constructive ; récurrence
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-02 ; 03D30 ; 03D35 ; 03F30
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Illustrations : Ill.
Collection : Lecture notes in mathematics
N° de collection : 0759
Bibliographie : Bibliogr. p. 217-234/index
N° | Cote / Code barre | Localisation | Commentaire | |
---|---|---|---|---|
1 | M/A1(759) MAT014670 |
F 90.80 - OFFILIB [disponible] |
YRéserver |