中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑的思想和方法/昂扬编著 林胜强, 李晟修订

出版发行项:

上海:上海人民出版社,2024

ISBN及定价:

978-7-208-18720-7 精装/CNY98.00

载体形态项:

258页;25cm

丛编项:

日月光华·哲学书系.第五辑;28

个人责任者:

昂扬, 1939- 编著

个人次要责任者:

林胜强 修订

个人次要责任者:

李晟 修订

学科主题:

数理逻辑-研究

中图法分类号:

O141

一般附注:

世纪出版 获评“复旦大学哲学学院源恺优秀著作奖”上海易顺公益基金会资助出版

责任者附注:

昂扬(1939.2-)，1965年由复旦大学数学系毕业，留校至哲学系任教。1994年被评为复旦大学哲学系数理逻辑副教授。

提要文摘附注:

本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。

豆瓣简介：

随书光盘: