1.

電子ブック
ＥＢ
1. Foundations of the Theory of Parthood : A Study of Mereology. 1st ed. 2020
by Andrzej Pietruszczak
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Trends in Logic, Studia Logica Library ; 54
オンライン: https://doi.org/10.1007/978-3-030-36533-2
2.

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

電子ブック
ＥＢ
3. 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
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. Mathematical Problems : An Essay on Their Nature and Importance. 1st ed. 2020
by Craig Smoryński
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
オンライン: https://doi.org/10.1007/978-3-030-50917-0
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. 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
8.

電子ブック
ＥＢ
8. Dialetheism and its Applications. 1st ed. 2019
edited by Adam Rieger, Gareth Young
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Trends in Logic, Studia Logica Library ; 52
オンライン: https://doi.org/10.1007/978-3-030-30221-4
9.

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

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