1.

電子ブック
ＥＢ
1. Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
edited by Manindra Agrawal, Vikraman Arvind
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014
シリーズ名: Progress in Computer Science and Applied Logic ; 26
オンライン: http://dx.doi.org/10.1007/978-3-319-05446-9
2.

電子ブック
ＥＢ
2. A Course on Mathematical Logic. 2nd ed. 2013
by Shashi Mohan Srivastava
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5746-6
3.

電子ブック
ＥＢ
3. Cylindric-like Algebras and Algebraic Logic
edited by Hajnal Andréka, Miklós Ferenczi, István Németi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Bolyai Society Mathematical Studies ; 22
オンライン: http://dx.doi.org/10.1007/978-3-642-35025-2
4.

電子ブック
ＥＢ
4. Erdős Centennial
edited by László Lovász, Imre Z. Ruzsa, Vera T. Sós
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Bolyai Society Mathematical Studies ; 25
オンライン: http://dx.doi.org/10.1007/978-3-642-39286-3
5.

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

電子ブック
ＥＢ
6. Methods of Cut-Elimination [e-books]
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
7.

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

電子ブック
ＥＢ
8. Mathematical Logic and Model Theory : A Brief Introduction
by Alexander Prestel, Charles N. Delzell
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2176-3
9.

電子ブック
ＥＢ
9. Data Mining and Knowledge Discovery via Logic-Based Methods : Theory, Algorithms, and Applications [e-books]
by Evangelos Triantaphyllou
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
シリーズ名: Springer Optimization and Its Applications ; 43
オンライン: http://dx.doi.org/10.1007/978-1-4419-1630-3
10.

電子ブック
ＥＢ
10. The q-theory of Finite Semigroups [e-books]
by Benjamin Steinberg, John Rhodes
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/b104443