Functional analysis and infinite-dimensional geometry / Fabian, Marián

Public ISBD Titre : Functional analysis and infinite-dimensional geometry Type de document : texte imprimé Auteurs : Fabian, Marián ; Zizler, Václav ; Pelant, Jan ; Montesinos Santalucía, Vicente ; Hajek, Petr ; Habala, Petr Editeur : New York, NY : Springer Année de publication : 2001 Collection : CMS Books in Mathematics num. 08 Importance : ix - 451 p. ISBN/ISSN/EAN : 978-0-387-95219-2 Langues : Anglais Catégories : 46-XX Functional analysis :46-01 Instructional exposition (textbooks, tutorial papers, etc.) 46-XX Functional analysis :46BXX Normed linear spaces and Banach spaces; Banach lattices 46-XX Functional analysis :46BXX Normed linear spaces and Banach spaces; Banach lattices :46B20 Geometry and structure of normed linear spaces Mots-clés : schauder bases  structure of banach spaces  locally convex spaces  compact operators  weak topologies  open mapping theorems Index. décimale : 46C Monographie Functional analysis and infinite-dimensional geometry [texte imprimé] / Fabian, Marián ; Zizler, Václav ; Pelant, Jan ; Montesinos Santalucía, Vicente ; Hajek, Petr ; Habala, Petr . - New York, NY : Springer, 2001 . - ix - 451 p. . - (CMS Books in Mathematics; 08) . ISBN : 978-0-387-95219-2 Langues : Anglais Catégories : 46-XX Functional analysis :46-01 Instructional exposition (textbooks, tutorial papers, etc.) 46-XX Functional analysis :46BXX Normed linear spaces and Banach spaces; Banach lattices 46-XX Functional analysis :46BXX Normed linear spaces and Banach spaces; Banach lattices :46B20 Geometry and structure of normed linear spaces Mots-clés : schauder bases  structure of banach spaces  locally convex spaces  compact operators  weak topologies  open mapping theorems Index. décimale : 46C Monographie

Exemplaires

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

Metamathematics of first-order arithmetic / Hajek, Petr

Public ISBD Titre : Metamathematics of first-order arithmetic Type de document : texte imprimé Auteurs : Hajek, Petr ; Pudlak, Pavel Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1998 Collection : Perspectives in Mathematical Logic Importance : xiv - 460 p. ISBN/ISSN/EAN : 978-3-540-63648-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments Mots-clés : consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Metamathematics of first-order arithmetic [texte imprimé] / Hajek, Petr ; Pudlak, Pavel  . -  2nd ed. . - [S.l.] : Springer-Verlag, 1998 . - xiv - 460 p.. - (Perspectives in Mathematical Logic) . ISBN : 978-3-540-63648-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments Mots-clés : consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1