检索到 27 条 主题词=Logic, Symbolic and mathematical 的结果
-
西文图书1.Standard completeness for semilinear substructural logics / O141/E6
馆藏复本：2
可借复本：2 Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.
(0) 馆藏 -
西文图书2.Advances in applications of logical dynamic systems = 逻辑动态系统的应用研究进展 / O141/E4
馆藏复本：3
可借复本：3 闫永义, 岳菊梅著.
(0) 馆藏 -
西文图书3.Mathematical logic = 数理逻辑 / Second edition. O141/E2=2
馆藏复本：2
可借复本：2 H.-D. Ebbinghaus, J. Flum, W. Thomas.
(0) 馆藏 -
西文图书4.The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second... B561.54/E1
馆藏复本：2
可借复本：2 Bernard Linsky.
Harbin Institute of Technology Press, 2018.
(0) 馆藏 -
西文图书5.Alan Turing : his work and impact (I) K835.616.11/E1-1
馆藏复本：3
可借复本：3 Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
Harbin Institute of Technology Press, 2016.
(0) 馆藏 -
西文图书6.Alan Turing : his work and impact (II) K835.616.11/E1-2
馆藏复本：3
可借复本：3 Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
Harbin Institute of Technology Press, 2016.
(0) 馆藏 -
西文图书7.Discrete mathematics and its applications = 离散数学及其应用 / O158/E7
馆藏复本：4
可借复本：4 Kenneth H. Rosen著.
China Machine Press, 2010.
(0) 馆藏 -
西文期刊8.The Journal of symbolic logic. O1/26X
馆藏复本：3
可借复本：3 Langford, Cooper Harold,
Association for Symbolic Logic, 1936-
(0) 馆藏 -
西文图书9.Introduction to mathematical logic : set theory, computable functions, model theory / O141/E7
馆藏复本：2
可借复本：2 Jerome Malitz.
Springer-Verlag, c1979.
(0) 馆藏 -
西文图书10.Handbook of mathematical logic / O141-62/E4:90
馆藏复本：6
可借复本：6 edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].
North-Holland Pub. Co., 1977.
(0) 馆藏 -
西文图书11.Logic for problem solving / TP11/E15
馆藏复本：3
可借复本：3 Robert Kowalski.
Elsevier North Holland, c1979.
(0) 馆藏 -
西文图书12.Mathematical logic = 数理逻辑 / O141/2E
馆藏复本：1
可借复本：1 H.-D. Ebbinghaus, J. Flum, W. Thomas.
世界图书出版公司, 2008.
(0) 馆藏 -
西文图书13.Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, TP11-53/5:(86)E
馆藏复本：1
可借复本：1 edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, a
M. Kaufmann Publishers, c1986.
(0) 馆藏 -
西文图书14.A course in mathematical logic / O14/E1
馆藏复本：1
可借复本：1 Y. I. Manin ; translated from the Russian by Neal Koblitz.
Springer Verlag, c1977.
(0) 馆藏 -
西文图书15.The logical basis for computer programming, v.2 : deductive systems / TP311/E5:2
馆藏复本：2
可借复本：2 Zohar Manna, Richard Waldinger.
Addison-Wesley, c1985-c1990.
(0) 馆藏 -
西文图书16.The logical basis for computer programming, v. 1 : deductive reasoning / TP311/E5:1
馆藏复本：3
可借复本：3 Zohar Manna, Richard Waldinger.
Addison-Wesley, c1985.
(0) 馆藏 -
西文图书17.10th International Conference on Automated Deduction : proceedings : Kaiserslautern, FRG, July 24-2 TP18-53/E21:10TH(90)
馆藏复本：1
可借复本：1 M.E. Stickel, (ed.).
Springer-Verlag, c1990.
(0) 馆藏 -
西文图书18.Fuzzy logic technology and applications / O231/15E
馆藏复本：1
可借复本：1 Robert J. Marks II, editor; IEEE Technical Activities Board
IEEE, 1994.
(0) 馆藏 -
西文图书19.Foundations : essays in philosophy, logic, mathematics, and economics / G30/E2
馆藏复本：1
可借复本：1 F. P. Ramsey ; edited by D. H. Mellor ; with introductions by D. H. Mellor ... [et. al.].
Humanties Press, 1978.
(0) 馆藏 -
西文图书20.Mathematical foundations of programming / TP31/E58
馆藏复本：4
可借复本：4 Frank S. Beckman.
Addison-Wesley, c1980.
(0) 馆藏
