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