-
中文图书1.临界的传递逻辑:模态逻辑的濒表格性问题探究 B81/255
馆藏复本:1
可借复本:0 杜珊珊,康宏逵著
科学出版社 2017
(0) 馆藏 -
中文图书2.证明与反驳:数学发现的逻辑 O1-0/4
馆藏复本:6
可借复本:1 (英)拉卡托斯(Lakatos,I.)等编著
上海译文出版社 1987
(0) 馆藏 -
中文图书3.形式逻辑导论 B812/70
馆藏复本:3
可借复本:0 (德)克劳斯(G.Klaus)著
上海译文出版社 1981
(0) 馆藏 -
中文图书4.形式逻辑导论 B81/49
馆藏复本:1
可借复本:1 (德)克劳斯(G.Klaus)著
上海译文出版社 1981
(0) 馆藏

