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

Online Public Access Catalogue

题名/责任者:

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

版本说明:

2版

出版发行项:

上海:复旦大学出版社有限公司,2020

ISBN及定价:

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

载体形态项:

15,255页:图;24cm

其它题名:

证明及其限度

个人责任者:

郝兆宽 著

个人责任者:

杨睿之 著

个人责任者:

杨跃 著

学科主题:

数理逻辑-教材

中图法分类号:

O141

一般附注:

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

提要文摘附注:

本书从零起点开始，介绍了数理逻辑的基本知识。全书共10章：第一章是预备知识，主要介绍书中所需要的集合论的初步知识：第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理；第七章是递归论的基本知识；第八章介绍一阶算术的一些片段；第九和第十章是哥德尔的两个不完全性定理。

豆瓣简介：