1.

電子ブック
ＥＢ
1. Proof Theory for Fuzzy Logics [e-books]
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.

電子ブック
ＥＢ
2. Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings
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
3.

電子ブック
ＥＢ
3. Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
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