大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 一阶逻辑 的图书(共3本)

符号逻辑讲义

9
索取号：O141/20103
作者：徐明、
出版社：武汉 : 武汉大学出版社, 2008

数理逻辑基础 : 一阶逻辑与一阶理论

7.4
索取号：O141/20062
作者：陈慕泽、余俊伟、
出版社：北京 : 中国人民大学出版社, 2003

模型论导引

0
索取号：627806
作者：沈复兴、
出版社：北京 : 北京师范大学出版社, 1995.10