数理逻辑教程
2002年上海人民出版社出版的图书
《数理逻辑教程》是2002年3月上海人民出版社出版的图书,作者陈慕泽。
内容介绍
数理逻辑是思维科学的一个分支,也是数学的一个分支。本书包括:命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。
作者介绍
陈慕泽:中国人民大学哲学系、宗教学系教授,博士生导师,逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员,中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。
参考资料
数理逻辑教程.豆瓣读书.
最新修订时间:2021-06-18 17:24
目录
概述
内容介绍
作者介绍
参考资料