Congrès
Logic year 1979-80
Lerman, M. (Ed.) ; Schmerl, J. H. (Ed.) ; Soare, R. I. (Ed.)
1981
viii, 326 p.
3-540-10708-8
M/A1(859)
logique ; logique algébrique ; mathématique constructive ; modèle ; récurrence
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-06 ; 03C30 ; 03C45 ; 03C60 ; 03C65 ; 03C75 ; 03D25 ; 03D30 ; 03D55 ; 03D60 ; 03D65 ; 03D80 ; 03F30 ; 03G30
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Collection : Lecture notes in mathematics
N° de collection : 0859
Bibliographie : Notes bibliographiques
Nom du congrès : Conference on mathematical logic
Lieu du congrès : University of Connecticut
Pays du congrès : Etats-Unis
Date du congrès : November 11-13, 1979
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(859) MAT014773 |
F 99.75 - OFFILIB [disponible] |
YRéserver |