H Mathematical logic and applications
Shinoda, J. (Ed.) ; Slaman, T.A. (Ed.) ; Tugue, T. (Ed.)
1989
222
27688
récursion ; logique mathématique ; théorie des ensembles ; modèle non standard
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 27688 | 1024816 | PROC 03B MAT |
ISBN10 : 3-540-51527-5
Type de doc : C
Ville d'édition : Berlin
Langue ouvrage : eng
Collection : Lecture notes in mathematics
N° dans la collection : 1388
ISSN Collection : 0075-8434
Class. Math. 1991 : 03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx
Ville du congrès : Kyoto
Pays congres : jp
Année du congres : 1987
ISBN supp. : 0-387-51527-5
Lien SUDOC : https://www.sudoc.fr/021234256