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