-
中文图书1.数学证明.第2版 O1-0/85=2
馆藏复本:2
可借复本:2 萧文强著
大连理工大学出版社 2016
(0) 馆藏 -
中文图书2.数学证明 O1-0/85
馆藏复本:3
可借复本:3 萧文强著
大连理工出版社 2008
(0) 馆藏 -
西文图书3.Algebra of proofs / O141.2/S996
馆藏复本:1
可借复本:1 Szabo, M. E.
North-Holland Pub. Co. : 1978.
(0) 馆藏 -
中文图书4.元数学导论 上册 O141/5
馆藏复本:6
可借复本:0 (美)克林(Kleene, S. C.)著
科学出版社 1984.11
(0) 馆藏 -
西文图书5.Introduction to metamathematics / O141.2/K63
馆藏复本:1
可借复本:1 Kleene, Stephen Cole,
D. Van Nostrand, 1952.
(0) 馆藏 -
中文图书6.元数学导论.下册 O14/8
馆藏复本:2
可借复本:0 (美)克林(Kleene,S.C.)著
科学出版社 1985
(0) 馆藏 -
中文图书7.基础数学的元数学 O141.2/1
馆藏复本:1
可借复本:0 (?)恩格特.欧文著
南京大学出版社 1995
(0) 馆藏 -
中文图书8.数学证明方法 O141.2/2
馆藏复本:1
可借复本:0 孙宗明编著
兰州大学出版社 1995
(0) 馆藏 -
中文图书9.元数学导论(上册) O141.2/3
馆藏复本:1
可借复本:0 (美)S.C.克林著
科学出版社 1984.11
(0) 馆藏