1.

電子ブック
ＥＢ
1. Introduction to fuzzy logic
James K. Peckol
出版情報: Hoboken, NJ : John Wiley & Sons, Inc., 2021
オンライン: https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
2.

図書
図書
2. Purity, spectra and Localisation (: hbk)
Mike Prest
出版情報: Cambridge, UK : Cambridge University Press, 2009
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 121
所蔵情報: 研究室
3.

電子ブック
ＥＢ
3. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (ebook)
Su Gao, Steve Jackson, Yi Zhang, editors.
出版情報: Providence, R.I. : American Mathematical Society, c2007
シリーズ名: Contemporary mathematics ; v. 425
オンライン: http://www.ams.org/conm/425/
http://dx.doi.org/10.1090/conm/425
4.

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

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

図書
図書
6. Logic-based methods for optimization : combining optimization and constraint satisfaction
John Hooker
出版情報: New York : John Wiley & Sons, c2000
シリーズ名: Wiley-Interscience series in discrete mathematics and optimization
所蔵情報: 研究室
7.

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

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

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

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