-
中文图书1.公理学、元数学与哲学 O141.2/134
馆藏复本:4
可借复本:0 张家龙著
上海人民出版社 1983.3
(0) 馆藏
-
中文图书2.元数学导论∶V1 O141.2/440
馆藏复本:3
可借复本:0 (美)克林著;莫绍揆译
科学出版社 1984.11
(0) 馆藏
-
中文图书3.合睛推理与计算机思维 O141.2/102
馆藏复本:3
可借复本:0 张文修,杨金丽著
西安交通大学出版社 1988.4
(0) 馆藏
-
西文图书4.Algebra of Proofs. O141.2/S1
馆藏复本:2
可借复本:2 Szabo, M.E.
North-Holland 1978
(0) 馆藏
-
中文图书5.证明与反驳∶数学发现的逻辑 O141.2/525
馆藏复本:3
可借复本:0 (英)拉卡托斯著;(英)沃勒尔,扎哈尔编;康宏逵
上海译文出版社 1987.10
(0) 馆藏