-
西文图书1.Logic for applications / 2nd ed. O414/X2=2
馆藏复本:1
可借复本:1 Anil Nerode, Richard A. Shore.
Springer, 1997.
(0) 馆藏 -
西文图书2.Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network App... F123.16/X1
馆藏复本:1
可借复本:1 edited by Bilal M. Ayyub, Madan M. Gupta.
Springer, 1998.
(0) 馆藏 -
西文图书3.Automata logics, and infinite games : a guide to current research / TP301.6/X6
馆藏复本:1
可借复本:1 Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.).
Springer, 2002.
(0) 馆藏 -
西文图书4.Algebraic Foundations of Many-Valued Reasoning / O235/X2
馆藏复本:1
可借复本:1 by Roberto L. O. Cignoli, Itala M. L. D
Springer Netherlands : 2000.
(0) 馆藏 -
西文图书5.Philosophical grammar : part I, The proposition, and its sense, part II, On logic and mathematics / B81/X5
馆藏复本:1
可借复本:1 Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
University of California Press, 2005.
(0) 馆藏 -
西文图书6.Deductive systems and the decidability problem for hybrid logics / O141/X1
馆藏复本:1
可借复本:1 Michat Zawidzki.
Columbia University Press, [2014]
(0) 馆藏 -
西文图书7.The metaphysics of the Tractatus / Digitally printed version. B521/X1
馆藏复本:1
可借复本:1 Peter Carruthers.
Cambridge University Press, 2009.
(0) 馆藏

