书目详细信息
： 数理逻辑引论
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5611-4033-8:CNY34。00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 210000 |
| 题名责任者项： | 数理逻辑引论/.朱梧？， 肖奚安编著 |
| 出版发行项： | 大连:,大连理工大学出版社:,2008。03 |
| 载体形态项： | 243页:;+图:;+24cm |
| 一般附注： | 高等学校理工科数学类规划教材 |
| 提要文摘： | 本书内容包括： 绪论，命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系列的整体特征等。 |
| 并列题名： | Introduction to mathematical logic eng |
| 题名主题： | 数理逻辑 |
| 中图分类： | O141 |
| 个人名称等同： | 朱梧？ 编著 |
| 个人名称等同： | 肖奚安 编著 |
| 记录来源： | CN RULIN 20100330 |