1.

電子ブック
ＥＢ
1. Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2014
シリーズ名: Trends in Logic, Studia Logica Library ; 39
オンライン: http://dx.doi.org/10.1007/978-94-007-7548-0
2.

電子ブック
ＥＢ
2. Constraints Meet Concurrency
by Jacopo Mauro
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 5
オンライン: http://dx.doi.org/10.2991/978-94-6239-067-6
3.

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

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

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

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

電子ブック
ＥＢ
7. Teoria degli Automi Finiti
by Aldo Luca, Flavio D’Alessandro
出版情報: Milano : Springer Milan : Imprint: Springer, 2013
シリーズ名: UNITEXT ; 68
オンライン: http://dx.doi.org/10.1007/978-88-470-5474-5
8.

電子ブック
ＥＢ
8. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
9.

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

電子ブック
ＥＢ
10. Instruction Sequences for Computer Science
by Jan A. Bergstra, Cornelis A. Middelburg
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 2
オンライン: http://dx.doi.org/10.2991/978-94-91216-65-7