出版社:上海人民出版社
出版日期:2002-03
ISBN:9787208037489
作者:陈慕泽
页数:337页
内容概要
陈慕泽:中国人民大学哲学系、宗教学系教授,博士生导师,逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员,中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。
作者简介
数理逻辑是思维科学的一个分支,也是数学的一个分支。本书包括:命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。