close
1.

図書
図書
1. Residuated structures in algebra and logic (: pbk)
George Metcalfe, Francesco Paoli, Constantine Tsinakis
出版情報: Providence, R.I. : American Mathematical Society, c2023
シリーズ名: Mathematical surveys and monographs ; v. 277
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
edited by Kai Brünnler, George Metcalfe
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6793
オンライン: http://dx.doi.org/10.1007/978-3-642-22119-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Proof Theory for Fuzzy Logics
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
所蔵情報: loading…