数理逻辑入门

借阅：5人

收藏：0人

= A beginner's guide to mathematical logic /(美) Raymond M. Smullyan著 ;刘新文 ... [等] 译

ISBN/ISSN：978-7-5184-2183-1

价格：CNY68.00

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

载体形态：370页 ;24cm

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

附注：本书非常适合作为数理逻辑入门教材。

统一题名：Beginner's guide to mathematical logic

中图分类号：O141

责任者：斯穆里安 ((Smullyan, Raymond M. ),) (1919-2017) 著刘新文译蓝河译

豆瓣内容简介：

豆瓣作者简介：

序号	图书条码	索书号	登录号	藏书部门	流通状态	年卷期	装订册	装订方式	装订颜色

类型

说明

URL

评论

评分：

发表

扫描图片信息到手机上，便于查找书架！

用户号：
密码：