Constructive real numbers and constructive function spaces
algorithme # espace constructif concret # espace de fonction constructif # espace normé # métrique constructive # nombre réel constructif # présentation axiomatique
Publisher City : Providence ; R.I.
Publisher country : États-Unis
Language : English
Collation : 24 cm ; 323 p. ; appendix ; Bibliogr. ; rel.
Series : Translations of mathematical monographs
Nb in series : 0021
Location : Collection 1er étage
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00002775 | [available] |