Congrès
Logic symposia Hakone 1979, 1980
Müller, Gert Heinz (Ed.) ; Takeuti, Gaisi (Ed.) ; Tugué, Tosiyuki (Ed.)
1981
xi, 394 p.
3-540-11161-1
M/A1(891)
ensemble ; logique ; mathématique constructive ; modèle ; modèle non standard ; récurrence
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Collection : Lecture notes in mathematics
N° de collection : 0891
Bibliographie : Notes bibliographiques
Nom du congrès : Symposia on the foundations of mathematics
Lieu du congrès : Hakone
Pays du congrès : Japon
Date du congrès : March 21-24, 1979 and february 4-7, 1980
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(891) MAT014803 |
F 136.40 - OFFILIB [disponible] |
YRéserver |