MARC状态：审校 文献类型：中文图书 浏览次数：114
- 题名/责任者:
- 数理逻辑的思想和方法/昂扬编著
- 出版发行项:
- 上海:复旦大学出版社,1991
- ISBN及定价:
- 7-309-00668-2/CNY2.50
- 载体形态项:
- 230页;20cm
- 个人责任者:
- 昂扬 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书系统地讲解了数理逻辑的思想与方法,主要内容有:命题逻辑和量词逻辑,重言式公理系统和自然推理系统的构造等。
全部MARC细节信息>>
MARC状态：审校 文献类型：中文图书 浏览次数：114
密集书库三