-
中文图书1.论证挖掘与论证形式化 B812.4/4
馆藏复本:2
可借复本:2 鞠实儿等著
科学出版社 2022
(0) 馆藏
-
中文图书2.论证是一门学问 B812.4-49/1
馆藏复本:2
可借复本:2 (美) 安东尼·韦斯顿著
天地出版社 2019
(0) 馆藏
-
中文图书3.论证分析与评价.第2版 B812.4/3(2)
馆藏复本:2
可借复本:2 (荷) 范爱默伦,斯诺克·汉克曼斯著
中国社会科学出版社 2018
(0) 馆藏
-
中文图书4.定理机器证明 TP18/11
馆藏复本:4
可借复本:2 刘叙华, 姜云飞编著
科学出版社 1987
(0) 馆藏
-
中文图书5.元数学导论 O141.2/2/V.2
馆藏复本:1
可借复本:0 (美)克林(S.C.Kleene)著;莫绍揆译
科学出版社 1984-1985
(0) 馆藏
-
中文图书6.再就业优惠证和企业吸纳下岗失业人员认定证明及相关法律规定 D922.5/7
馆藏复本:6
可借复本:2 中国法制出版社编
中国法制出版社 2003
(0) 馆藏
-
中文图书7.理由、推理与合理性:图尔敏的论证理论:on stephn toulmin's theory of argumentation B812.4/2
馆藏复本:2
可借复本:2 宋旭光著
中国政法大学出版社 2015
(0) 馆藏
-
中文图书8.论形式逻辑思维规律对思维形式和证明的应用 150/4048:2
馆藏复本:1
可借复本:1 李世繁著
上海人民出版社 1958
(0) 馆藏
-
中文图书9.关于证明与反驳的逻辑学说 150/7424A
馆藏复本:1
可借复本:1 (苏) 阿斯姆斯著
三联书店 1955
(0) 馆藏
-
中文图书10.关于证明与反驳的逻辑学说 150/7424
馆藏复本:1
可借复本:1 (苏) B.Ф.阿斯穆斯著
作家书屋 1954
(0) 馆藏