检索到 5 条 主题词=证明 的结果
-
中文图书1.结构证明论.第2版 B812.4/M519B
馆藏复本：2
可借复本：0 马明辉编著
科学出版社 2023
(0) 馆藏 -
中文图书2.论证挖掘与论证形式化 B812.4/J746
馆藏复本：2
可借复本：2 鞠实儿等著
科学出版社 2022
(0) 馆藏 -
中文图书3.元数学导论 51.32/11
馆藏复本：10
可借复本：10 (美)克林(S.C.Kleene)著;莫绍揆译
科学出版社 1984-1985
(0) 馆藏 -
中文图书4.结构证明论 B812.4/M519
馆藏复本：3
可借复本：3 马明辉编著
科学出版社 2019
(0) 馆藏 -
中文图书5.论证分析与评价 B812.4/F124
馆藏复本：3
可借复本：3 (荷) 范爱默伦, 斯诺克·汉克曼斯著
中国社会科学出版社 2018
(0) 馆藏
