ISBN/价格: | 7-310-02373-0:CNY20.00 |
---|---|
作品语种: | chi |
出版国别: | CN 120000 |
题名责任者项: | 数理逻辑的思想与方法/.李娜 |
出版发行项: | 天津:,南开大学出版社:,2006 |
载体形态项: | 326页:;+图:;+21cm |
一般附注: | 中山大学逻辑与认知研究所资助, 教育部人文社会科学重点研究基地资助, 南开大学亚洲研究中心资助出版。 |
提要文摘: | 全书共六章。内容包括:集合论初步、命题和命题形式、命题逻辑、命题逻辑系统的特征、狭谓词逻辑等。 |
题名主题: | 数理逻辑 |
索书号: | O14/L40 |
中图分类: | O14 |
个人名称等同: | 李娜 著 |
记录来源: | CN CEPC 20060329 |
记录来源: | CN 20060414 |