Congrès
Constructive mathematics
Richman, Fred (Ed.)
1981
vii, 347 p.
3-540-10850-5
M/A1(873)
démonstration ; mathématique constructive ; métamathématique
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03F50 ; 03F55 ; 03F65
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Collection : Lecture notes in mathematics
N° de collection : 0873
Bibliographie : Notes bibliographiques
Nom du congrès : Conference on constructive mathematics
Lieu du congrès : Las Cruces, New Mexico
Pays du congrès : Etats-Unis
Date du congrès : August 11-15, 1980
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(873) MAT014787 |
F 111.15 - OFFILIB [disponible] |
YRéserver |