|
题名:
|
数理逻辑的思想和方法 [ 专著] shu li luo ji de si xiang he fang fa / 昂扬编著 , |
|
ISBN:
|
978-7-208-18720-7 价格： CNY98.00 |
|
语种:
|
chi |
|
载体形态:
|
258页 25cm |
|
出版发行:
|
出版地： 上海 出版社： 上海人民出版社 出版日期： 2024 |
|
内容提要:
|
本书阐述了从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅介绍了构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨了这些形式化方法所包含的思想。 |
|
主题词:
|
数理逻辑 研究 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
昂扬 ang yang 编著 |
|
责任者附注:
|
昂扬(1939-)，1965年复旦大学数学系毕业，留校至哲学系任教。出版有《普通逻辑考试学引论》等。 |
|
索书号:
|
1 |