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

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

978-7-309-11025-8/CNY36.00

载体形态项:

13, 249页;24cm

丛编项:

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

个人责任者:

郝兆宽 著

个人责任者:

杨睿之 著

个人责任者:

杨跃 著

学科主题:

数理逻辑-教材

中图法分类号:

O141

责任者附注:

郝兆宽，复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。

责任者附注:

杨睿之，复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。

责任者附注:

杨跃，新加坡国立大学数学系教授。主要研究兴趣是数理逻辑，尤其是递归论、皮亚诺算术模型。

书目附注:

有书目 (第243-244页) 和索引

提要文摘附注:

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

使用对象附注:

本书面向对数学基础感兴趣的的读者。

豆瓣简介：