潍坊科技学院图书馆书目检索系统

| 暂存书架(0) | 登录



检索到 7 条 主题词=Logic, Symbolic and mathematical. 的结果    

 


所有图书 可借图书

  1. 西文图书1.Logic for applications / 2nd ed. O414/X2=2

    馆藏复本:1
    可借复本:1
    Anil Nerode, Richard A. Shore.
    Springer, 1997.
    (0) 馆藏

  2. 西文图书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. 西文图书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. 西文图书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. 西文图书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. 西文图书6.Deductive systems and the decidability problem for hybrid logics / O141/X1

    馆藏复本:1
    可借复本:1
    Michat Zawidzki.
    Columbia University Press, [2014]
    (0) 馆藏

  7. 西文图书7.The metaphysics of the Tractatus / Digitally printed version. B521/X1

    馆藏复本:1
    可借复本:1
    Peter Carruthers.
    Cambridge University Press, 2009.
    (0) 馆藏


返回顶部