1.

電子ブック

EB
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
2.

電子ブック

EB
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
出版情報: Dordrecht : Springer Science+Business Media B.V., 2008
シリーズ名: Applied Logic Series ; 35
オンライン: http://dx.doi.org/10.1007/978-1-4020-6782-2
3.

電子ブック

EB
edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov
出版情報: New York, NY : Springer Science+Business Media, LLC, 2007
シリーズ名: International Mathematical Series ; 5
オンライン: http://dx.doi.org/10.1007/978-0-387-69245-6
4.

電子ブック

EB
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
シリーズ名: International Mathematical Series ; 4
オンライン: http://dx.doi.org/10.1007/0-387-31072-X
5.

電子ブック

EB
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1085
オンライン: http://dx.doi.org/10.1007/3-540-61313-7
6.

電子ブック

EB
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827
オンライン: http://dx.doi.org/10.1007/BFb0013976