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

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

xiii, 249页:图;24cm

其它题名:

证明及其限度

丛编项:

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

个人责任者:

郝兆宽 著

个人责任者:

杨睿之 著

个人责任者:

杨跃 著

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

书目附注:

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

提要文摘附注:

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

豆瓣简介：