中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑:证明及其限度/郝兆宽, 杨睿之, 杨跃著

版本说明:

第2版

出版发行项:

上海:复旦大学出版社,2020

ISBN及定价:

978-7-309-14568-7/CNY49.00

载体形态项:

xv, 255页:图;24cm

其它题名:

证明及其限度

丛编项:

逻辑与形而上学教科书系列

个人责任者:

郝兆宽 著

个人责任者:

杨睿之 著

个人责任者:

杨跃 著

学科主题:

数理逻辑-高等学校

中图法分类号:

O141

版本附注:

2014年第1版

责任者附注:

郝兆宽，复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。杨睿之，复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。杨跃，新加坡国立大学数学系教授。主要研究兴趣是数理逻辑，尤其是递归论、皮亚诺算术模型、高阶递归论。

书目附注:

有书目 (第249-250页) 和索引

提要文摘附注:

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。

豆瓣简介：