1.

電子ブック
ＥＢ
1. Decidability of Logical Theories and Their Combination. 1st ed. 2020
by João Rasga, Cristina Sernadas
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2020
シリーズ名: Studies in Universal Logic ;
オンライン: https://doi.org/10.1007/978-3-030-56554-1
2.

電子ブック
ＥＢ
2. An Invitation to Abstract Mathematics. 2nd ed. 2020
by Béla Bajnok
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-030-56174-1
3.

電子ブック
ＥＢ
3. Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. 1st ed. 2020
edited by Sergei Artemov, Anil Nerode
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11972
オンライン: https://doi.org/10.1007/978-3-030-36755-8
4.

電子ブック
ＥＢ
4. Diagonalization in Formal Mathematics. 1st ed. 2020
by Paulo Guilherme Santos
出版情報: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum, 2020
シリーズ名: BestMasters ;
オンライン: https://doi.org/10.1007/978-3-658-29111-2
5.

電子ブック
ＥＢ
5. Geometry. 1st ed. 2020
by Israel M. Gelfand, Tatiana Alekseyevskaya (Gelfand)
出版情報: New York, NY : Springer New York : Imprint: Birkhäuser, 2020
オンライン: https://doi.org/10.1007/978-1-0716-0299-7
6.

電子ブック
ＥＢ
6. Solving Problems in Mathematical Analysis, Part I : Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series. 1st ed. 2020
by Tomasz Radożycki
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Problem Books in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-030-35844-0
7.

電子ブック
ＥＢ
7. The Legacy of Kurt Schütte. 1st ed. 2020
edited by Reinhard Kahle, Michael Rathjen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
オンライン: https://doi.org/10.1007/978-3-030-49424-7
8.

電子ブック
ＥＢ
8. Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness. 1st ed. 2020
by Jan von Plato
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Sources and Studies in the History of Mathematics and Physical Sciences ;
オンライン: https://doi.org/10.1007/978-3-030-50876-0
9.

電子ブック
ＥＢ
9. Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics. 1st ed. 2020
by Lorenz Halbeisen, Regula Krapf
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2020
オンライン: https://doi.org/10.1007/978-3-030-52279-7
10.

電子ブック
ＥＢ
10. Applications of Mathematics and Informatics in Natural Sciences and Engineering : AMINSE 2019, Tbilisi, Georgia, September 23-26. 1st ed. 2020
edited by George Jaiani, David Natroshvili
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 334
オンライン: https://doi.org/10.1007/978-3-030-56356-1
11.

電子ブック
ＥＢ
11. Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9. 1st ed. 2019
edited by George Jaiani, David Natroshvili
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 276
オンライン: https://doi.org/10.1007/978-3-030-10419-1
12.

電子ブック
ＥＢ
12. Heyting Algebras : Duality Theory. 1st ed. 2019
by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Trends in Logic, Studia Logica Library ; 50
オンライン: https://doi.org/10.1007/978-3-030-12096-2
13.

電子ブック
ＥＢ
13. A Model–Theoretic Approach to Proof Theory. 1st ed. 2019
by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Trends in Logic, Studia Logica Library ; 51
オンライン: https://doi.org/10.1007/978-3-030-28921-8
14.

電子ブック
ＥＢ
14. Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior. 1st ed. 2019
by Patrick Schultz, David I. Spivak
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2019
シリーズ名: Progress in Computer Science and Applied Logic ; 29
オンライン: https://doi.org/10.1007/978-3-030-00704-1
15.

電子ブック
ＥＢ
15. Combinatorial Set Theory of C*-algebras. 1st ed. 2019
by Ilijas Farah
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Springer Monographs in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-030-27093-3
16.

電子ブック
ＥＢ
16. Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle. 1st ed. 2019
by Yong Cheng
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2019
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: https://doi.org/10.1007/978-981-13-9949-7
17.

電子ブック
ＥＢ
17. Introduction to Discrete Mathematics via Logic and Proof. 1st ed. 2019
by Calvin Jongsma
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-030-25358-5
18.

電子ブック
ＥＢ
18. The Hyperuniverse Project and Maximality. 1st ed. 2018
edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
オンライン: https://doi.org/10.1007/978-3-319-62935-3
19.

電子ブック
ＥＢ
19. Great Circle of Mysteries : Mathematics, the World, the Mind. 1st ed. 2018
by Misha Gromov
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
オンライン: https://doi.org/10.1007/978-3-319-53049-9
20.

電子ブック
ＥＢ
20. Contradictions, from Consistency to Inconsistency. 1st ed. 2018
edited by Walter Carnielli, Jacek Malinowski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Trends in Logic, Studia Logica Library ; 47
オンライン: https://doi.org/10.1007/978-3-319-98797-2
21.

電子ブック
ＥＢ
21. Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi. 1st ed. 2018
by Vito Michele Abrusci, Lorenzo Tortora de Falco
出版情報: Milano : Springer Milan : Imprint: Springer, 2018
シリーズ名: La Matematica per il 3+2 ; 111
オンライン: https://doi.org/10.1007/978-88-470-3968-1
22.

電子ブック
ＥＢ
22. Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations. 1st ed. 2018
by Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Trends in Logic, Studia Logica Library ; 48
オンライン: https://doi.org/10.1007/978-3-030-04471-8
23.

電子ブック
ＥＢ
23. Fuzzy Lie Algebras. 1st ed. 2018
by Muhammad Akram
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2018
シリーズ名: Infosys Science Foundation Series in Mathematical Sciences ;
オンライン: https://doi.org/10.1007/978-981-13-3221-0
24.

電子ブック
ＥＢ
24. Hilary Putnam on Logic and Mathematics. 1st ed. 2018
edited by Geoffrey Hellman, Roy T. Cook
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Outstanding Contributions to Logic ; 9
オンライン: https://doi.org/10.1007/978-3-319-96274-0
25.

電子ブック
ＥＢ
25. Methods of Solving Number Theory Problems. 1st ed. 2018
by Ellina Grigorieva
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
オンライン: https://doi.org/10.1007/978-3-319-90915-8
26.

電子ブック
ＥＢ
26. A History of Folding in Mathematics : Mathematizing the Margins. 1st ed. 2018
by Michael Friedman
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
シリーズ名: Science Networks. Historical Studies ; 59
オンライン: https://doi.org/10.1007/978-3-319-72487-4
27.

電子ブック
ＥＢ
27. The Lvov-Warsaw School. Past and Present. 1st ed. 2018
edited by Ángel Garrido, Urszula Wybraniec-Skardowska
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
シリーズ名: Studies in Universal Logic ;
オンライン: https://doi.org/10.1007/978-3-319-65430-0
28.

電子ブック
ＥＢ
28. Descriptor Revision : Belief Change through Direct Choice. 1st ed. 2017
by Sven Ove Hansson
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Trends in Logic, Studia Logica Library ; 46
オンライン: https://doi.org/10.1007/978-3-319-53061-1
29.

電子ブック
ＥＢ
29. Combinatorial Set Theory : With a Gentle Introduction to Forcing. 2nd ed. 2017
by Lorenz J. Halbeisen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Springer Monographs in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-319-60231-8
30.

電子ブック
ＥＢ
30. Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics. 1st ed. 2017
by Jan von Plato
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Sources and Studies in the History of Mathematics and Physical Sciences ;
オンライン: https://doi.org/10.1007/978-3-319-42120-9
31.

電子ブック
ＥＢ
31. Introduction to Relation Algebras : Relation Algebras, Volume 1. 1st ed. 2017
by Steven Givant
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-3-319-65235-1
32.

電子ブック
ＥＢ
32. A Course on Basic Model Theory. 1st ed. 2017
by Haimanti Sarbadhikari, Shashi Mohan Srivastava
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-981-10-5098-5
33.

電子ブック
ＥＢ
33. Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time. 1st ed. 2017
by Leone Montagnini
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Springer Biographies ;
オンライン: https://doi.org/10.1007/978-3-319-50657-9
34.

電子ブック
ＥＢ
34. Advanced Topics in Relation Algebras : Relation Algebras, Volume 2. 1st ed. 2017
by Steven Givant
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-3-319-65945-9
35.

電子ブック
ＥＢ
35. The Square of Opposition: A Cornerstone of Thought. 1st ed. 2017
edited by Jean-Yves Béziau, Gianfranco Basti
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2017
シリーズ名: Studies in Universal Logic ;
オンライン: https://doi.org/10.1007/978-3-319-45062-9
36.

電子ブック
ＥＢ
36. Simple Relation Algebras. 1st ed. 2017
by Steven Givant, Hajnal Andréka
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-3-319-67696-8
37.

電子ブック
ＥＢ
37. Feferman on Foundations : Logic, Mathematics, Philosophy. 1st ed. 2017
edited by Gerhard Jäger, Wilfried Sieg
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Outstanding Contributions to Logic ; 13
オンライン: https://doi.org/10.1007/978-3-319-63334-3
38.

電子ブック
ＥＢ
38. The Colorado Mathematical Olympiad: The Third Decade and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics. 1st ed. 2017
by Alexander Soifer
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-3-319-52861-8
39.

電子ブック
ＥＢ
39. Advances in Proof Theory. 1st ed. 2016
edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
シリーズ名: Progress in Computer Science and Applied Logic ; 28
オンライン: https://doi.org/10.1007/978-3-319-29198-7
40.

電子ブック
ＥＢ
40. Number Theory : An Introduction via the Density of Primes. 2nd ed. 2016
by Benjamin Fine, Gerhard Rosenberger
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
オンライン: https://doi.org/10.1007/978-3-319-43875-7
41.

電子ブック
ＥＢ
41. Logical Studies of Paraconsistent Reasoning in Science and Mathematics. 1st ed. 2016
edited by Holger Andreas, Peter Verdée
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: Trends in Logic, Studia Logica Library ; 45
オンライン: https://doi.org/10.1007/978-3-319-40220-8
42.

電子ブック
ＥＢ
42. Modern Logic 1850-1950, East and West. 1st ed. 2016
edited by Francine F. Abeles, Mark E. Fuller
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
シリーズ名: Studies in Universal Logic ;
オンライン: https://doi.org/10.1007/978-3-319-24756-4
43.

電子ブック
ＥＢ
43. Writing Proofs in Analysis. 1st ed. 2016
by Jonathan M. Kane
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
オンライン: https://doi.org/10.1007/978-3-319-30967-5
44.

電子ブック
ＥＢ
44. Ordered Sets : An Introduction with Connections from Combinatorics to Topology. 2nd ed. 2016
by Bernd Schröder
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
オンライン: https://doi.org/10.1007/978-3-319-29788-0
45.

電子ブック
ＥＢ
45. The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach. 2nd ed. 2016
by George Grätzer
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
オンライン: https://doi.org/10.1007/978-3-319-38798-7
46.

電子ブック
ＥＢ
46. Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012. 1st ed. 2016
edited by Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
シリーズ名: Trends in the History of Science ;
オンライン: https://doi.org/10.1007/978-3-319-31502-7
47.

電子ブック
ＥＢ
47. Dependence Logic : Theory and Applications. 1st ed. 2016
edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016
オンライン: https://doi.org/10.1007/978-3-319-31803-5
48.

電子ブック
ＥＢ
48. Set Theory : With an Introduction to Real Point Sets
by Abhijit Dasgupta
出版情報: New York, NY : Springer New York : Imprint: Birkhäuser, 2014
オンライン: http://dx.doi.org/10.1007/978-1-4614-8854-5
49.

電子ブック
ＥＢ
49. Cardinal Invariants on Boolean Algebras : Second Revised Edition. 2nd ed. 2014
by J. Donald Monk
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2014
シリーズ名: Progress in Mathematics ; 142
オンライン: http://dx.doi.org/10.1007/978-3-0348-0730-2
50.

電子ブック
ＥＢ
50. Leśniewski's Systems of Logic and Foundations of Mathematics
by Rafal Urbaniak
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Trends in Logic, Studia Logica Library ; 37
オンライン: http://dx.doi.org/10.1007/978-3-319-00482-2