| ISBN/价格： | 978-7-307-07991-5:CNY29.00 |
|---|
| 作品语种： | chi |
|---|
| 出版国别： | CN 420000 |
|---|
| 题名责任者项： | 数理逻辑实验教程/.李娜编著 |
|---|
| 出版发行项： | 武汉:,武汉大学出版社:,2010.10 |
|---|
| 载体形态项： | 271页:;+24cm |
|---|
| 一般附注： | 高等院校哲学专业核心课程教材 南开大学2007年度教材资助立项项目 南开大学2007年度教育教学改革工程立项项目 |
|---|
| 提要文摘： | 本书共七章，内容包括：在线逻辑软件简介、LPLSoftware简介、简单命题、复合命题、量词的引入、量词逻辑。 |
|---|
| 题名主题： | 数理逻辑 高等学校 教材 |
|---|
| 中图分类： | O141 |
|---|
| 个人名称等同： | 李娜 (女， 主编 |
|---|
