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. 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
3.

電子ブック
ＥＢ
3. Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. 1st ed. 2020
edited by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Trends in Logic, Studia Logica Library ; 53
オンライン: https://doi.org/10.1007/978-3-030-30229-0
4.

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

電子ブック
ＥＢ
5. Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings. 1st ed. 2020
edited by Daniela Petrişan, Jurriaan Rot
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12094
オンライン: https://doi.org/10.1007/978-3-030-57201-3
6.

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

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

電子ブック
ＥＢ
8. Numerical Methods of Mathematics Implemented in Fortran. 1st ed. 2019
by Sujit Kumar Bose
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2019
シリーズ名: Forum for Interdisciplinary Mathematics ;
オンライン: https://doi.org/10.1007/978-981-13-7114-1
9.

電子ブック
ＥＢ
9. Algebraic Methods in General Rough Sets. 1st ed. 2018
edited by A. Mani, Gianpiero Cattaneo, Ivo Düntsch
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
シリーズ名: Trends in Mathematics ;
オンライン: https://doi.org/10.1007/978-3-030-01162-8
10.

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