1.

図書
図書
1. Handbook of tableau methods
edited by Marcello D'Agostino ... [et al.]
出版情報: Dordrecht : Kluwer, 1999
所蔵情報: 図書館
2.

図書
図書
2. Critical approaches to science & philosophy (paper)
Mario Bunge editor, with a new introduction [by the editor]
出版情報: New Brunswick, NJ : Transaction Publishers, c1999
シリーズ名: Science and technology studies
所蔵情報: 図書館
3.

図書
図書
3. Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
出版情報: Cambridge : Cambridge University Press, 1999
シリーズ名: Cambridge tracts in theoretical computer science ; 48
所蔵情報: 図書館
4.

電子ブック
ＥＢ
4. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil (ebook)
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
出版情報: Providence, RI : American Mathematical Society, 1999
シリーズ名: Contemporary mathematics ; v. 235
オンライン: http://www.ams.org/conm/235/
http://dx.doi.org/10.1090/conm/235
5.

図書
図書
5. Descriptive complexity
Neil Immerman
出版情報: New York : Springer, c1999
シリーズ名: Graduate texts in computer science
所蔵情報: 図書館, 研究室
6.

図書
図書
6. Automated deduction : a basis for applications (set - v.3)
edited by Wolfgang Bibel and Peter H. Schmitt
出版情報: Dordrecht : Kluwer Academic, c1998
シリーズ名: Applied logic series ; v.8-10
所蔵情報: 図書館
7.

図書
図書
7. Solving higher-order equations : from logic to programming
Christian Prehofer
出版情報: Boston : Birkhäuser, c1998
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
8.

図書
図書
8. Elements of logic via numbers and sets
D. L. Johnson
出版情報: Berlin : Springer, c1998
シリーズ名: Springer undergraduate mathematics series
所蔵情報: 研究室
9.

図書
図書
9. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
10.

図書
図書
10. Mathematical logic for computer science. 2nd ed
Lu Zhongwan
出版情報: Singapore : World Scientific, c1998
シリーズ名: Series in computer science ; v. 47
所蔵情報: 研究室