检索到 6 条 责任者=康宏逵 的结果
-
中文图书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) 馆藏
