-
规范文档1.Advances in applications of logical dynamic systems O141.2/3734
馆藏复本:3
可借复本:2 闫永义,岳菊梅著
中国水利水电出版社 2019
(0) 馆藏 -
中文图书2.数学证明:珍藏版.2版 O141.2/4401-1
馆藏复本:3
可借复本:2 萧文强著
大连理工大学出版社 2016
(0) 馆藏 -
中文图书3.基于不确定规则的模糊逻辑系统:导论与新方向:introduction and new directons O141.2/4422
馆藏复本:4
可借复本:4 (美)Jerry M. Mendel著
清华大学出版社 2013
(0) 馆藏 -
中文图书4.数学证明 O141.2/4401
馆藏复本:4
可借复本:3 萧文强著
大连理工大学出版社 2008
(0) 馆藏 -
西文图书5.Algebra of proofs O141.2/S996
馆藏复本:1
可借复本:0 Sxbo,M.E.
North-Holland Pub.Co. 1978.
(0) 馆藏 -
中文图书6.公理学,元数学与哲学 O141.2/1234
馆藏复本:10
可借复本:0 张家龙著
上海人民出版社 1983.3
(0) 馆藏 -
中文图书7.制约逻辑:传统逻辑与现代逻辑的结合 O141.2/4451
馆藏复本:5
可借复本:0 林邦瑾著
贵州人民 1985.12
(0) 馆藏 -
中文图书8.元数学导论.上册 O141.2/4044
馆藏复本:5
可借复本:0 (美)克林(Kleene,S.C.)著
科学出版社 1984.11
(0) 馆藏