无锡市图书馆书目检索系统

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

随书附盘:

题名责任附注:

译者还有：张瑜、荣华夏、闫佳亮、张立英

提要文摘附注:

本书作者介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的数理逻辑基础知识；特别是阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。

豆瓣简介：