检索到 38 条 主题词=Logic, Symbolic and mathematic. 的结果
-
西文图书1.Tractatus logico-philosophicus / B561.59/W831T
馆藏复本：2
可借复本：2 Wittgenstein, Ludwig,
上海译文出版社, 2019.
(0) 馆藏 -
西文图书2.Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / 2nd ed. O141/W246=2
馆藏复本：3
可借复本：3 Wang, Guojun.
Science Press, c2009.
(0) 馆藏 -
西文图书3.Principle of universal logics / O141/P957
馆藏复本：3
可借复本：3 Huacan He ... ; translated by Zhangyuan Ji ... [et al.].
Science Press ; c2005.
(0) 馆藏 -
西文图书4.Logic for applications = 应用逻辑 / O141/N451(C=2)
馆藏复本：3
可借复本：3 Nerode, Anil,
China Machine Press, 2006.
(0) 馆藏 -
西文图书5.Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Septe O18/A939
馆藏复本：1
可借复本：1 International Workshop on Automated Deduction in Geometry
Springer, c2001.
(0) 馆藏 -
西文图书6.Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spai TP18-532/A791(A)
馆藏复本：1
可借复本：1 International Conference AISC 2000
Springer, c2001.
(0) 馆藏 -
西文图书7.Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, I O141/F935
馆藏复本：1
可借复本：1 FroCoS 2002
Springer, c2002.
(0) 馆藏 -
西文图书8.A mathematical introduction to logic = 数理逻辑 / 2nd ed. O141/E56=2
馆藏复本：3
可借复本：3 Enderton, Herbert B.
Posts & Telecom Press, 2006.
(0) 馆藏 -
西文图书9.Mathematical foundations of programming / O14/B397
馆藏复本：1
可借复本：1 Beckman, Frank S.
Addison-Wesley, c1980.
(0) 馆藏 -
西文图书10.Mathematical logic : an introduction to model theory / O141/L724
馆藏复本：1
可借复本：1 Lightstone, A. H.
Plenum Press, c1978.
(0) 馆藏 -
西文图书11.Logic for mathematicians / O141/H217
馆藏复本：1
可借复本：1 Hamilton, A. G.,
Cambridge University Press, 1978.
(0) 馆藏 -
西文图书12.Tractatus logico-philosophicus / B521/W831
馆藏复本：1
可借复本：1 Wittgenstein, Ludwig,
China Social Sciences Pub. House, 1999.
(0) 馆藏 -
西文图书13.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141.3/B724=4
馆藏复本：3
可借复本：3 Boolos, George.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
西文图书14.Fuzzy logic in knowledge engineering / O159/P896
馆藏复本：2
可借复本：2 edited by Henri Prade and Constantin V. Negoita.
TèUV Rheinland, c1986.
(0) 馆藏 -
西文图书15.Mathematical fallacies and paradoxes / O14/B942
馆藏复本：3
可借复本：3 Bunch, Bryan H.
Van Nostrand Reinhold Co., c1982.
(0) 馆藏 -
西文图书16.Understanding symbolic logic / 3rd ed. O14/K64=3
馆藏复本：3
可借复本：3 Klenk, Virginia,
Prentice Hall, c1994.
(0) 馆藏 -
西文图书17.A course in mathematical logic / O141/M278
馆藏复本：1
可借复本：1 Manin, YU. I.
World Publishing Co., c1977.
(0) 馆藏 -
西文图书18.Introduction to logic : propositional logic / 2nd ed. B81/P855=2
馆藏复本：1
可借复本：1 Pospesel, Howard,
Prentice-Hall, c1984.
(0) 馆藏 -
西文图书19.Solutions to selected exercises in The logic book / 3rd ed. O141/B499L=3
馆藏复本：1
可借复本：1 Bergmann, Merrie.
Random House, c1998.
(0) 馆藏 -
西文图书20.The logic book / 3rd ed. O141/B499=3
馆藏复本：1
可借复本：1 Bergmann, Merrie
McGraw-Hill Companies, c1998.
(0) 馆藏
