-
中文图书1.证明的故事:从勾股定理到现代数学:logic and the history of mathematics O141.2/7
馆藏复本:1
可借复本:1 (澳)约翰·史迪威((John Stillwell)著
人民邮电出版社 2025
(0) 馆藏 -
中文图书2.数学证明是怎样的一项数学活动? O141.2/6
馆藏复本:2
可借复本:2 萧文强著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书3.说服与不被说服的艺术:论证中的演绎、归纳和谬误:an introduction to informal logic B812/94
馆藏复本:2
可借复本:2 (美) 瓦尔特·辛诺特-阿姆斯特朗, 罗伯特·福格林著
广西师范大学出版社 2020.10
(0) 馆藏 -
中文图书4.高效论证:美国大学最实用的逻辑训练课:a complete course in critical thinking B812/93
馆藏复本:2
可借复本:1 (美)大卫·莫罗,(美)安东尼·韦斯顿著
天地出版社 2021
(0) 馆藏 -
中文图书5.论证是一门学问 B812/91
馆藏复本:3
可借复本:2 (美)安东尼·韦斯顿著
天地出版社 2019
(0) 馆藏 -
中文图书6.数学证明.2版 O141.2/5
馆藏复本:2
可借复本:1 萧文强著
大连理工大学出版社 2016.01
(0) 馆藏 -
中文图书7.证明达尔文:进化和生物创造性的一个数学理论:making biology mathematical O141.2/4
馆藏复本:3
可借复本:2 (美) 格雷戈里·蔡汀著
人民邮电出版社 2015
(0) 馆藏 -
中文图书8.数学证明之美:beauty in mathematical proof O141/28
馆藏复本:2
可借复本:1 (英)博卡德·波斯特(Burkard Polster)著
湖南科学技术出版社 2012
(0) 馆藏 -
中文图书9.元数学导论.上册 O141.2/1:1
馆藏复本:1
可借复本:0 (美)克林(S.C.Kleene)著;莫绍揆译
科学出版社 1984
(0) 馆藏 -
中文图书10.元数学导论.下册 O141.2/1:2
馆藏复本:1
可借复本:0 (美)克林(Kleene,S.C.)著
科学出版社 1985
(0) 馆藏 -
中文图书11.数学思想方法入门:怎样理解证明和作出证明 O1-0/34
馆藏复本:0
可借复本:0 (美)索 洛(Solow,D.)著
科学出版社 1988.8
(0) 馆藏 -
中文图书12.定理机器证明 TP11/35
馆藏复本:0
可借复本:0 刘叙华, 姜云飞编著
科学出版社 1987
(0) 馆藏 -
中文图书13.推理与证明:现代逻辑的技巧 B812/83
馆藏复本:0
可借复本:0 (日)内井〓七著
中国人民大学出版社 1988.10
(0) 馆藏

