Techniques of constructive analysis / Douglas S. Bridges and Luminita Simona Vîta

Auteur principal : Bridges, Douglas S., 1945-, AuteurCo-auteur : Vîţă, Luminiţa Simona, AuteurType de document : Livre numériqueCollection : UniversitextLangue : anglais.Éditeur : New York : Springer, 2006ISBN: 9780387336466.ISSN: 2191-6675.Sujet MSC : 03F60, Proof theory and constructive mathematics, Constructive and recursive analysis
26E40, Real functions - Miscellaneous topics, Constructive real analysis
46S30, Other (nonclassical) types of functional analysis, Constructive functional analysis
47S30, Other (nonclassical) types of operator theory, Constructive operator theoryEn-ligne : Springerlink | Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.