Constructive analysis / Errett Bishop

Public ISBD Titre : Constructive analysis Type de document : texte imprimé Auteurs : Errett Bishop ; Douglas S. Bridges Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der Mathematischen Wissenschaften num. 279 Importance : xii - 477 p. ISBN/ISSN/EAN : 978-3-540-15066-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F65 Other constructive mathematics 46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysis Mots-clés : riemann mapping theorem  banach algebra s  integration theory Index. décimale : 03C Monographie Constructive analysis [texte imprimé] / Errett Bishop ; Douglas S. Bridges . - [S.l.] : Springer-Verlag, 1985 . - xii - 477 p.. - (Grundlehren der Mathematischen Wissenschaften; 279) . ISBN : 978-3-540-15066-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F65 Other constructive mathematics 46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysis Mots-clés : riemann mapping theorem  banach algebra s  integration theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
106	03C121	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Constructive continuity / Mandelkern, Mark

Public ISBD Titre : Constructive continuity Type de document : texte imprimé Auteurs : Mandelkern, Mark Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1983 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 277 Importance : pag. mult. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F65 Other constructive mathematics 26-XX Real functions :26AXX Functions of one variable:26A15 Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) 26-XX Real functions :26AXX Functions of one variable:26A48 Monotonic functions, generalizations Mots-clés : constructive analysis  monotone continuous functions  intermediate values  urysohn's method  method of reliefs  constructive continuity Index. décimale : Mem Constructive continuity [texte imprimé] / Mandelkern, Mark . - Providence, R.I. : American Mathematical Society, 1983 . - pag. mult.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 277) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F65 Other constructive mathematics 26-XX Real functions :26AXX Functions of one variable:26A15 Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) 26-XX Real functions :26AXX Functions of one variable:26A48 Monotonic functions, generalizations Mots-clés : constructive analysis  monotone continuous functions  intermediate values  urysohn's method  method of reliefs  constructive continuity Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15193	Mem/277	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1