书目信息 机读格式(MARC)
数理逻辑学讲义
| ISBN/价格： | 7-306-02588-0:CNY35.00 (全二册) |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 440000 |
| 题名责任者项： | 数理逻辑学讲义/.李小五编著 |
| 出版发行项： | 广州:,中山大学出版社:,2005 |
| 载体形态项： | 263页:;+21cm |
| 丛编项： | 现代逻辑学讲义 |
| 提要文摘： | 本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。 |
| 并列题名： | Course in mathematical logic eng |
| 题名主题： | 逻辑 高等学校 教材 |
| 题名主题： | 数理逻辑 高等学校 教材 |
| 题名主题： | 逻辑 |
| 题名主题： | 数理逻辑 |
| 中图分类： | B81 |
| 个人名称等同： | 李小五 编著 |
| 记录来源： | CN RULIN 20060405 |