Français
From sets and types to topology and analysis :
towards practicable foundations for constructive mathematics
Ouvrage
logique # théorie des ensembles # analyse constructive # mathématiques constructives # mathématiques intuitives
Publisher City : N. Y. ; Oxford
Publisher country : États-Unis
Language : English
EAN13 : 9780198566519
ISBN : 0-19-856651-4
Collation : 24 cm#rel. ; Index
Series : Oxford logic guides
Nb in series : 0048
Location : Ouvrages RdC (From)
Book type : Anonyme
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00028734 | [available] |
