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 functional analysis / Douglas S. Bridges

Public ISBD Titre : Constructive functional analysis Type de document : texte imprimé Auteurs : Douglas S. Bridges Editeur : London San Francisco Melbourne : Pitman Publishing Année de publication : 1979 Collection : Research Notes in Mathematics num. 028 Importance : 203 p. ISBN/ISSN/EAN : 978-0-273-08418-1 Langues : Anglais Mots-clés : analyse fonctionnelle Index. décimale : 46C Monographie Constructive functional analysis [texte imprimé] / Douglas S. Bridges . - London San Francisco Melbourne : Pitman Publishing, 1979 . - 203 p.. - (Research Notes in Mathematics; 028) . ISBN : 978-0-273-08418-1 Langues : Anglais Mots-clés : analyse fonctionnelle Index. décimale : 46C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
139	46C206	imprimé / autre	CRDM	46/ANALYSE FONCTIONNELLE	Disponible

Techniques of constructive analysis / Douglas S. Bridges

Public ISBD Titre : Techniques of constructive analysis Type de document : texte imprimé Auteurs : Douglas S. Bridges, Auteur ; Luminita Simona Vîta, Auteur Editeur : London : Springer Année de publication : 2006 Collection : Universitext Importance : xvi - 213 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-387-33646-6 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:03F60 Constructive and recursive analysis 26-XX Real functions :26EXX Miscellaneous topics :26E40 Constructive real analysis Mots-clés : mathematical logic Index. décimale : 03C Monographie Techniques of constructive analysis [texte imprimé] / Douglas S. Bridges, Auteur ; Luminita Simona Vîta, Auteur . - London : Springer, 2006 . - xvi - 213 p. : ill. ; 24 cm. - (Universitext) . ISBN : 978-0-387-33646-6 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:03F60 Constructive and recursive analysis 26-XX Real functions :26EXX Miscellaneous topics :26E40 Constructive real analysis Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1