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. Hybrid Logic and its Proof-Theory
by Torben Braüner
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Applied Logic Series ; 37
オンライン: http://dx.doi.org/10.1007/978-94-007-0002-4
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. 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…
13.

電子ブック
ＥＢ
13. 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…
14.

電子ブック
ＥＢ
14. 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…
15.

電子ブック
ＥＢ
15. 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…
16.

電子ブック
ＥＢ
16. Un mondo di idee : La matematica ovunque
edited by Ciro Ciliberto, Roberto Lucchetti
出版情報: Milano : Springer-Verlag Milan, 2011
シリーズ名: I blu, pagine di scienza ;
オンライン: http://dx.doi.org/10.1007/978-88-470-1744-3
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. 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…
18.

電子ブック
ＥＢ
18. Logica: Metodo Breve
by Daniele Mundici
出版情報: Milano : Springer Milan, 2011
シリーズ名: UNITEXT ; 1
オンライン: http://dx.doi.org/10.1007/978-88-470-1884-6
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. 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…
20.

電子ブック
ＥＢ
20. 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…
21.

電子ブック
ＥＢ
21. 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…
22.

電子ブック
ＥＢ
22. 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…
23.

電子ブック
ＥＢ
23. 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…
24.

電子ブック
ＥＢ
24. 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…
25.

電子ブック
ＥＢ
25. 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…
26.

電子ブック
ＥＢ
26. 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…
27.

電子ブック
ＥＢ
27. 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…
28.

電子ブック
ＥＢ
28. 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…
29.

電子ブック
ＥＢ
29. 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…
30.

電子ブック
ＥＢ
30. 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…
31.

電子ブック
ＥＢ
31. 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…
32.

電子ブック
ＥＢ
32. 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…
33.

電子ブック
ＥＢ
33. Guida alla teoria degli insiemi
by Gabriele Lolli
出版情報: Milano : Springer-Verlag Italia, 2008
シリーズ名: Convergenze ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0769-7
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. 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…
35.

電子ブック
ＥＢ
35. 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…
36.

電子ブック
ＥＢ
36. 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…
37.

電子ブック
ＥＢ
37. 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…
38.

電子ブック
ＥＢ
38. 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…
39.

電子ブック
ＥＢ
39. 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…
40.

電子ブック
ＥＢ
40. 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…
41.

電子ブック
ＥＢ
41. 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…
42.

電子ブック
ＥＢ
42. 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…
43.

電子ブック
ＥＢ
43. 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…
44.

電子ブック
ＥＢ
44. 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…
45.

電子ブック
ＥＢ
45. 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…
46.

電子ブック
ＥＢ
46. 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…
47.

電子ブック
ＥＢ
47. 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…
48.

電子ブック
ＥＢ
48. 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…
49.

電子ブック
ＥＢ
49. Teoria algebrica dei meccanismi automatici
edited by R. Righi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2012
シリーズ名: C.I.M.E. Summer Schools ; 19
オンライン: http://dx.doi.org/10.1007/978-3-642-10932-4
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. 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…