Monographie
Varieties of constructive mathematics
Bridges, Douglas ; Richman, Fred
1987
x, 149 p.
0-521-31802-5
BRIDGES v
algèbre constructive ; analyse constructive ; fondement des mathématiques ; intuitionisme ; topose
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-XX ; 03Exx ; 03F55 ; 03F65
Pays d'édition : Grande-Bretagne
Ville d'édition : Cambridge/London/New York/New Rochelle, New York
Langue : anglais
Format : 23 cm
Collection : London Mathematical Society lecture note series
N° de collection : 097
ISSN Collection : 0076-0052
Bibliographie : index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | BRIDGES v MAT001887 |
F 143.00 - OFFILIB [disponible] |
YRéserver |