-
西文图书1.Mathematical logic = 数理逻辑 / Second edition. O141/14(2)
馆藏复本:3
可借复本:3 H.-D. Ebbinghaus, J. Flum, W. Thomas.
世界图书出版公司, 2019.
(0) 馆藏 -
西文图书2.Advances in applications of logical dynamic systems = 逻辑动态系统的应用研究进展 / O141/35
馆藏复本:3
可借复本:3 闫永义, 岳菊梅著.
中国水利水电出版社, 2019.
(0) 馆藏 -
西文图书3.A course in mathematical logic for mathematicians = 数学家用的数理逻辑教程 / Second edition. O1/63
馆藏复本:2
可借复本:2 Yu.I. Manin ; with collaboration by B. Zilber.
世界图书出版公司, 2019.
(0) 馆藏 -
西文图书4.An investigation of the laws of thought : On which are founded the mathematical theories of logic... B802/1
馆藏复本:3
可借复本:3 George Boole = 思维规律的研究 / (英) 布尔著.
Higher Education Press, 2016.
(0) 馆藏