MARC状态:已编 文献类型:中文图书 浏览次数:56
- 题名/责任者:
- 数理逻辑的思想与方法/李娜
- 出版发行项:
- 天津:南开大学出版社,2006
- ISBN及定价:
- 7-310-02373-0/CNY20.00
- 载体形态项:
- 326页:图;21cm
- 个人责任者:
- 李娜, 1958- 著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 科图法分类号:
- 51.3
- 一般附注:
- 中山大学逻辑与认知研究所资助
- 出版发行附注:
- 本书受教育部人文科学重点研究基地和南开大学亚洲研究中心资助出版
- 责任者附注:
- 李娜, 女. 1958年生于河南开封市. 1982年毕业于河南大学数学系, 1989年毕于中国科学院软件研究所, 获理学硕士学位. 现任南开大哲学系教授、博士生导师. 主要著作有《现代逻辑若干问题研究》等.
- 书目附注:
- 有书目 (第325-326页)
- 提要文摘附注:
- 本书包括6章。第一章,主要介绍集合、集合运算的基本思路和方法。第二章至第四章,介绍命题逻辑的基本思路和方法,第五章和第六章介绍狭义谓词逻辑的基本思路和方法。
全部MARC细节信息>>