Constructive measure theory / Errett Bishop

Public ISBD Titre : Constructive measure theory Type de document : texte imprimé Auteurs : Errett Bishop ; Cheng, Henry Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1972 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 116 Importance : v - 85 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section 28-XX Measure and integration Mots-clés : fubini's theorem  convergence theorems  measure and integration Index. décimale : Mem Constructive measure theory [texte imprimé] / Errett Bishop ; Cheng, Henry . - Providence, R.I. : American Mathematical Society, 1972 . - v - 85 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 116) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section 28-XX Measure and integration Mots-clés : fubini's theorem  convergence theorems  measure and integration Index. décimale : Mem

Exemplaires

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

Proof theory / Takeuti, G.

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Takeuti, G. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1975 Collection : Studies in Logic and The Foundations of Mathematics num. 81 Importance : vii - 372 p. ISBN/ISSN/EAN : 978-0-7204-2277-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie Proof theory [texte imprimé] / Takeuti, G. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1975 . - vii - 372 p.. - (Studies in Logic and The Foundations of Mathematics; 81) . ISBN : 978-0-7204-2277-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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

Proof theory / Schütte, Kurt

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Schütte, Kurt Editeur : Springer-Verlag Année de publication : 1977 Collection : Grundlehren der Mathematischen Wissenschaften num. 223 Importance : xii - 302 p. Langues : Anglais Langues originales : Allemand 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:03F99 None of the above, but in this section Mots-clés : mathematical logic Index. décimale : 03C Monographie Proof theory [texte imprimé] / Schütte, Kurt . - [S.l.] : Springer-Verlag, 1977 . - xii - 302 p.. - (Grundlehren der Mathematischen Wissenschaften; 223) . Langues : Anglais Langues originales : Allemand 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:03F99 None of the above, but in this section Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1