1.

図書
図書
1. Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2500
所蔵情報: 図書館
2.

図書
図書
2. Mathematical logic for computer science. 2nd ed. (: pbk)
Mordechai Ben-Ari
出版情報: New York, Tokyo : Springer, c2001
所蔵情報: 図書館
3.

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

図書
図書
4. 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
所蔵情報: 図書館
5.

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

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

図書
図書
7. 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
所蔵情報: 図書館
8.

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

図書
図書
9. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1261
所蔵情報: 図書館
10.

図書
図書
10. Handbook of logic and language (: Elsevier ; : MIT Press)
edited by Johan van Benthem, Alice ter Meulen
出版情報: Amsterdam : Elsevier , Cambridge, Mass. : MIT Press, 1997
所蔵情報: 図書館