杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑入门/(美) Raymond M. Smullyan著 刘新文 ... [等] 译

出版发行项:

北京:中国轻工业出版社,2019

ISBN及定价:

978-7-5184-2183-1/CNY68.00

载体形态项:

370页;24cm

统一题名:

Beginner's guide to mathematical logic

个人责任者:

斯穆里安 (Smullyan, Raymond M. ), 1919-2017 著

个人次要责任者:

刘新文 译

学科主题:

数理逻辑-教材

中图法分类号:

O141

责任者附注:

Raymond M. Smullyan (1919-2017)，世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。著有《形式系统的理论》《一阶逻辑》等。

责任者附注:

刘新文，中国社会科学院哲学博士，中国社会科学院哲学所研究员。出版专著《图式逻辑》《谢弗函数研究》等。

责任者附注:

责任者Smullyan规范汉译姓: 斯穆里安

书目附注:

有书目 (第329-332页)

提要文摘附注:

作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。

豆瓣简介：