题名:
数理逻辑的思想和方法   / 昂扬编著 , 林胜强, 李晟修订
ISBN:
978-7-208-18720-7 价格： CNY98.00
语种:
chi
载体形态:
258页 图 25cm
出版发行:
出版地： 上海 出版社： 上海人民出版社 出版日期： 2024.1
内容提要:
本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法: 不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法, 同时也进一步探讨这些形式化方法所包含的生动活泼的思想 (这是本书的鲜明特色), 便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。 
主题词:
数理逻辑   研究
中图分类法:
O141 版次： 5
主要责任者:
昂扬, 编著
次要责任者:
林胜强 修订
次要责任者:
李晟 修订
附注:
本书获评“复旦大学哲学学院源恺优秀著作奖” 
责任者附注:
昂扬, 1939年2月生。1965年由复旦大学数学系毕业, 留校至哲学系任教。