检索到 3 条 分类号=B812.23 主题=演绎 的结果
-
中文图书1.基本演绎法 B812.23/033
馆藏复本：2
可借复本：2 刘洪波，李媛媛，刘潋著
四川文艺出版社 2020
(0) 馆藏 -
中文图书2.自然演绎逻辑导论.修订版 B812.23/761/2
馆藏复本：2
可借复本：2 陈晓平著
中山大学出版社 2013
(0) 馆藏 -
中文图书3.自然演绎逻辑导论 B812.23/761
馆藏复本：5
可借复本：0 陈晓平著
中山大学出版社 2006.5
(0) 馆藏
