close
1.

電子ブック
ＥＢ
1. More Sets, Graphs and Numbers : A Salute to Vera Sós and András Hajnal
edited by Ervin Győri, Gyula O. H. Katona, László Lovász, Tamás Fleiner
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Bolyai Society Mathematical Studies ; 15
オンライン: http://dx.doi.org/10.1007/978-3-540-32439-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Problems and Theorems in Classical Set Theory
by Péter Komjáth, Vilmos Totik
出版情報: New York, NY : Springer Science+Business Media, LLC, 2006
シリーズ名: Problem Books in Mathematics ;
オンライン: http://dx.doi.org/10.1007/0-387-36219-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. A Concise Introduction to Mathematical Logic. 2
by Wolfgang Rautenberg
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/0-387-34241-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Techniques of Constructive Analysis
by Douglas S. Bridges, Luminiţa Simona Vîţă
出版情報: New York, NY : Springer Science+Business Media, LLC, 2006
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-0-387-38147-3
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. 18 Unconventional Essays on the Nature of Mathematics
edited by Reuben Hersh
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-29831-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. The Congruences of a Finite Lattice : A Proof-by-Picture Approach
by George Grätzer
出版情報: Boston, MA : Birkhäuser Boston, 2006
オンライン: http://dx.doi.org/10.1007/0-8176-4462-8
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Cardinal Invariants on Boolean Algebras
by J. Donald Monk
出版情報: Basel : Birkhäuser Basel, 2010
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-3-0346-0334-8
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Ernst Zermelo - Collected Works/Gesammelte Werke : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21
オンライン: http://dx.doi.org/10.1007/978-3-540-79384-7
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. A Concise Introduction to Mathematical Logic
by Wolfgang Rautenberg
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-1221-3
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Mathematical Lives : Protagonists of the Twentieth Century From Hilbert to Wiles
edited by Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-13606-1
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Methods of Cut-Elimination
by Alexander Leitsch, Matthias Baaz
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Trends in Logic ; 34
オンライン: http://dx.doi.org/10.1007/978-94-007-0320-9
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Proofs and Fundamentals : A First Course in Abstract Mathematics
by Ethan D. Bloch
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-7127-2
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Giuseppe Peano between Mathematics and Logic : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of theFormulario Mathematico, Turin (Italy), October 2–3,2008
edited by Fulvia Skof
出版情報: Milano : Springer Milan, 2011
オンライン: http://dx.doi.org/10.1007/978-88-470-1836-5
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. The Colorado Mathematical Olympiad and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics
by Alexander Soifer
出版情報: Boston, MA : Alexander Soifer, 2011
オンライン: http://dx.doi.org/10.1007/978-0-387-75472-7
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. The Proof is in the Pudding : The Changing Nature of Mathematical Proof
by Steven G. Krantz
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-0-387-48744-1
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Hyperfinite Dirichlet Forms and Stochastic Processes
by Sergio Albeverio, Ruzong Fan, Frederik Herzberg
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Unione Matematica Italiana ; 10
オンライン: http://dx.doi.org/10.1007/978-3-642-19659-1
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Aspects of Mathematical Logic
edited by E. Casari
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: C.I.M.E. Summer Schools ; 48
オンライン: http://dx.doi.org/10.1007/978-3-642-11080-1
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Model Theory and Applications
edited by P. Mangani
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: C.I.M.E. Summer Schools ; 69
オンライン: http://dx.doi.org/10.1007/978-3-642-11121-1
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Recursion Theory and Computational Complexity
edited by G. Lolli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: C.I.M.E. Summer Schools ; 79
オンライン: http://dx.doi.org/10.1007/978-3-642-11072-6
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Advanced Łukasiewicz calculus and MV-algebras
by D. Mundici
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Trends in Logic ; 35
オンライン: http://dx.doi.org/10.1007/978-94-007-0840-2
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Reading, Writing, and Proving : A Closer Look at Mathematics
by Ulrich Daepp, Pamela Gorkin
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-9479-0
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. The Selected Correspondence of L.E.J. Brouwer
by Dirk Dalen
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Sources and Studies in the History of Mathematics and Physical Sciences ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-537-8
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. A Beginner's Guide to Finite Mathematics : For Business, Management, and the Social Sciences. 2nd ed. 2012
by W.D. Wallis
出版情報: Boston : Birkhäuser Boston, 2012
オンライン: http://dx.doi.org/10.1007/978-0-8176-8319-1
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Introduction to Mathematical Structures and Proofs. 2nd ed. 2012
by Larry J. Gerstein
出版情報: New York, NY : Springer New York, 2012
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-4265-3
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Indiscrete Thoughts
by Gian-Carlo Rota ; edited by Fabrizio Palombi
出版情報: Boston, MA : Birkhäuser Boston, 2008
オンライン: http://dx.doi.org/10.1007/978-0-8176-4781-0
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Field Arithmetic. Third Edition
by Michael D. Fried, Moshe Jarden
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics ; 11
オンライン: http://dx.doi.org/10.1007/978-3-540-77270-5
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
by Ulrich Kohlenbach
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-540-77533-1
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Completeness Theory for Propositional Logics
by Witold A. Pogorzelski, Piotr Wojtylak
出版情報: Basel : Birkhäuser Verlag AG, 2008
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-7643-8518-7
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Institution-independent Model Theory
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
出版情報: Basel : Birkhäuser Verlag AG, 2008
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-7643-8708-2
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Mathematical Olympiad Challenges
by Titu Andreescu, Răzvan Gelca
出版情報: Boston, MA : Birkhäuser Boston, 2009
オンライン: http://dx.doi.org/10.1007/978-0-8176-4611-0
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Generalized Measure Theory
by Zhenyuan Wang, George J. Klir
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2009
シリーズ名: IFSR International Series on Systems Science and Engineering ; 25
オンライン: http://dx.doi.org/10.1007/978-0-387-76852-6
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Logicism, Intuitionism, and Formalism : What has Become of Them?
edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A.F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan WoleńSki, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341
オンライン: http://dx.doi.org/10.1007/978-1-4020-8926-8
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Trends in Logic ; 28
オンライン: http://dx.doi.org/10.1007/978-1-4020-9084-4
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Proof Theory for Fuzzy Logics
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Proof Theory : The First Step into Impredicativity
by Wolfram Pohlers
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-3-540-69319-2
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Introduction to Boolean Algebras
by Steven Givant, Paul Halmos ; edited by S. Axler, K. A. Riber
出版情報: New York, NY : Springer New York, 2009
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68436-9
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Algorithmic Composition : Paradigms of Automated Music Generation
by Gerhard Nierhaus
出版情報: Vienna : Springer Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-75540-2
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. The Mathematical Coloring Book : Mathematics of Coloring and the Colorful Life of its Creators
by Alexander Soifer
出版情報: New York, NY : Springer New York, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-74642-5
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Dude, Can You Count? : Stories, Challenges, and Adventures in Mathematics
edited by Christian Constanda
出版情報: London : Springer-Verlag London, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84882-539-0
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. A Missing Link in Cybernetics : Logic and Continuity
by Alex M. Andrew
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: IFSR International Series on Systems Science and Engineering ; 26
オンライン: http://dx.doi.org/10.1007/978-0-387-75164-1
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Additive Number Theory : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson. 1
edited by David Chudnovsky, Gregory Chudnovsky
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-0-387-68361-4
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Logic: A Brief Course
by Daniele Mundici
出版情報: Milano : Springer Milan, 2012
シリーズ名: Collana Unitext — La Matematica per il 3+2 ;
オンライン: http://dx.doi.org/10.1007/978-88-470-2361-1
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Mathematical Olympiad Treasures
by Titu Andreescu, Bogdan Enescu
出版情報: Boston : Springer Science+Business Media, LLC, 2012
オンライン: http://dx.doi.org/10.1007/978-0-8176-8253-8
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. A Beginner's Guide to Discrete Mathematics. Second Edition
by W.D. Wallis
出版情報: Boston : Springer Science+Business Media, LLC, 2012
オンライン: http://dx.doi.org/10.1007/978-0-8176-8286-6
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. The Mathematical Experience, Study Edition
by Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto
出版情報: Boston : Springer Science+Business Media, LLC, 2012
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-8295-8
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Excursions in the History of Mathematics
by Israel Kleiner
出版情報: Boston : Springer Science+Business Media, LLC, 2012
オンライン: http://dx.doi.org/10.1007/978-0-8176-8268-2
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Combinatorial Set Theory : With a Gentle Introduction to Forcing
by Lorenz J. Halbeisen
出版情報: London : Springer-Verlag London Limited, 2012
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2173-2
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Lecture Notes on O-Minimal Structures and Real Analytic Geometry
edited by Chris Miller, Jean-Philippe Rolin, Patrick Speissegger
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Fields Institute Communications ; 62
オンライン: http://dx.doi.org/10.1007/978-1-4614-4042-0
所蔵情報: loading…
目次情報: 続きを見る
Preface
Blowings-up of Vector Fields (F. Cano)
Basics of o-Minimality and Hardy Fields (C. Miller)
Construction of o-Minimal Structures from Quasianalytic Classes (J.-P. Rolin)
Course on Non-Oscillatory Trajectories
F.S. Sánchez)
Pfaffian Sets and o-Minimality (P. Speissegger)
Theorems of the Complement (A. Fornasiero, T. Servi)
Preface
Blowings-up of Vector Fields (F. Cano)
Basics of o-Minimality and Hardy Fields (C. Miller)
49.

電子ブック
ＥＢ
49. Logic and Structure. 5th ed. 2013
by Dirk Dalen
出版情報: London : Springer London : Imprint: Springer, 2013
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-4558-5
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalization
Gödel's theorem
Introduction
Propositional Logic
Predicate Logic
50.

電子ブック
ＥＢ
50. L.E.J. Brouwer – Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
by Dirk Dalen
出版情報: London : Springer London : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-1-4471-4616-2
所蔵情報: loading…
目次情報: 続きを見る
Child and Student
Mathematics and Mysticism
The Dissertation.-Cantor-Schoenflies Topology
The New Topology
Making a Career
The War Years
Mathematics after the War
Politics and Mathematics
The Breakthrough
The Fathers of Dimension
Progress, Recognition, and Frictions
From Berlin to Vienna
The Three Battles
The Thirties
War and Occupation
Post-War Events
The Restless Emeritus
Child and Student
Mathematics and Mysticism
The Dissertation.-Cantor-Schoenflies Topology