Congrès
Computation and proof theory : Vol. 2
Richter, Michael M. (Ed.) ; Borger, Egon (Ed.) ; Oberschelp, Walter (Ed.)
1984
viii, 475 p.
3-540-13901-X
M/A1(1104)
ensemble ; logique algébrique ; modèle ; modèle non standard
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Gxx ; 03Hxx
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Illustrations : Fig.
Collection : Lecture notes in mathematics
N° de collection : 1104
Bibliographie : Notes bibliographiques
Nom du congrès : Logic colloquim
Lieu du congrès : Aachen
Pays du congrès : Allemagne
Date du congrès : Juli 18-23, 1983
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(1104) MAT015023 |
F 227.20 - OFFILIB [disponible] |
YRéserver |