书目详细信息
： 数理逻辑引论
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5611-4033-8:CNY34.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 210000 |
| 题名责任者项： | 数理逻辑引论/.朱梧槚，肖奚安编著 |
| 出版发行项： | 大连:,大连理工大学出版社:,2008 |
| 载体形态项： | 243页:;+24cm |
| 一般附注： | 高等学校理工科数学类规划教材 |
| 一般附注： | 并列题名：Introduction to mathematisal logic |
| 提要文摘： | 本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章是有关经典二值逻辑系统的严格的语义研究。 |
| 并列题名： | Introduction to mathematisal logic eng |
| 题名主题： | 数理逻辑 高等学校 教材 |
| 中图分类： | O141 |
| 个人名称等同： | 朱梧槚 编著 |
| 个人名称等同： | 肖奚安 编著 |
| 记录来源： | CN 110120 20080425 |
| 记录来源： | CN ILAS 20081210 |