-
中文图书1.临界的传递逻辑:模态逻辑的濒表格性问题探究 B815.1/4411
馆藏复本:3
可借复本:2 杜珊珊, 康宏逵著
科学出版社 2017
(0) 馆藏
-
中文图书2.证明与反驳:数学发现的逻辑 O1-09/7040
馆藏复本:5
可借复本:4 (英) 拉卡托斯等编著
上海译文出版社 1987
(0) 馆藏
-
中文图书3.这本书叫什么:奇谲的逻辑谜题 B81-44/9878/ 1
馆藏复本:2
可借复本:1 (美) 雷蒙德·M. 斯穆里安著
上海辞书出版社 2011
(0) 馆藏
-
中文图书4.哥德尔 B712.59/1034
馆藏复本:2
可借复本:1 (美) 王浩著
上海译文出版社 2002
(0) 馆藏
-
中文图书5.形式逻辑导论 B812/2760
馆藏复本:4
可借复本:3 (德) 克劳斯著
上海译文出版社 1981
(0) 馆藏
-
中文图书6.这本书叫什么?:奇谲的逻辑谜题 B81-44/9878
馆藏复本:3
可借复本:2 (美) 斯穆里安著
上海译文出版社 1987
(0) 馆藏