检索到 38 条 主题词=Logic, symbolic and mathematical. 的结果
-
西文图书1.Standard completeness for semilinear substructural logics / O141/W246
馆藏复本：2
可借复本：1 Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.
(0) 馆藏 -
西文图书2.A course in mathematical logic for mathematicians / Second edition. O141/M278.1-2
馆藏复本：2
可借复本：1 Yu.I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by...
(0) 馆藏 -
西文图书3.Shattered symmetry : group theory from the eightfold way to the periodic table / O152/T549
馆藏复本：1
可借复本：0 Pieter Thyssen and Arnout Ceulemans.
(0) 馆藏 -
西文图书4.The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second... O1-0/L759
馆藏复本：2
可借复本：1 Bernard Linsky.
Harbin Institute of Technology Press, 2018.
(0) 馆藏 -
西文图书5.Alan Turing : his work and impact / K835.616.11/C778
馆藏复本：4
可借复本：2 Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
Harbin Institute of Technology Press, 2016.
(0) 馆藏 -
西文图书6.Mutually-inversistic logic, mathematics, and their applications / O141/Z63
馆藏复本：1
可借复本：0 Zhou Xunwei.
Central Compilation & Translation Press , 2013.
(0) 馆藏 -
西文图书7.Logical syntax of language = 语言的逻辑句法 / H043/C288
馆藏复本：3
可借复本：2 Rudolf Carnap著 ; 蒋运鹏导读.
Shanghai Foreign Language Education Press, 2012.
(0) 馆藏 -
西文图书8.Temporal logic and temporal logic programming / TP312/D812
馆藏复本：3
可借复本：2 Duan Zhenhua.
Science Press, c2005.
(0) 馆藏 -
西文图书9.Propositional logic : Introduction to logic / B81/P855
馆藏复本：1
可借复本：0 Howard Pospesel.
Prentice-Hall, 1974
(0) 馆藏 -
西文图书10.Logic, language, and computation / H-05/S464/V.1
馆藏复本：1
可借复本：0 edited by Jerry Seligman & Dag Westerstahl.
CSLI Publications, c1996-c2000.
(0) 馆藏 -
西文图书11.Topics in philosophical logic. B81/R431
馆藏复本：1
可借复本：0 Rescher, Nicholas.
D. Reidel 1968.
(0) 馆藏 -
西文图书12.Studies in foundations and combinatorics / O143/R842
馆藏复本：1
可借复本：0 edited by Gian-Carlo Rota.
Academic Press, 1978.
(0) 馆藏 -
西文图书13.Logic for applications = 应用逻辑 / 2nd ed. O141/N451-2
馆藏复本：3
可借复本：2 Anil Nerode, Richard A. Shore著.
China Machine Press, 2006.
(0) 馆藏 -
西文图书14.The logic book / O141/B499
馆藏复本：1
可借复本：0 Merrie Bergmann, James Moor, Jack Nelson.
Random House, c1980.
(0) 馆藏 -
西文图书15.Mathematical logic / O141/E15
馆藏复本：1
可借复本：0 H.-D. Ebbinghaus, J. Flum, W. Thomas.
Springer-Verlag, c1984.
(0) 馆藏 -
西文图书16.Philosophy of mathematics and deductive structure in Euclid's Elements / O01-0/M946
馆藏复本：1
可借复本：0 Ian Mueller.
MIT Press, c1981.
(0) 馆藏 -
西文图书17.Understanding symbolic logic / 2nd ed. O141/K64-2
馆藏复本：1
可借复本：0 Virginia Klenk.
Prentice Hall, c1989.
(0) 馆藏 -
西文图书18.A course in mathematical logic / O141/M278
馆藏复本：1
可借复本：0 Y. I. Manin ; translated from the Russian by Neal Koblitz.
Springer Verlag, c1977.
(0) 馆藏 -
西文图书19.Mathematical foundations of programming / TP31/B397
馆藏复本：1
可借复本：0 Frank S. Beckman.
Addison-Wesley, c1980.
(0) 馆藏 -
西文图书20.How to prove it = 怎样证明数学题 / 第2版. O141/V439-2
馆藏复本：3
可借复本：2 Daniel J. Velleman著.
人民邮电出版社, 2009.
(0) 馆藏
