机读格式显示(MARC)

• 000 01230nam0 2200325 450

• 001 0000367921

• 005 20230927094600.0

• 010 __ |a 978-7-309-14568-7 |d CNY49.00

• 035 __ |a (A100000NLC)011046389

• 049 __ |a A100000NLC |b UCS01010389791 |c 011046389 |d NLC01

• 100 __ |a 20210118d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A shu li luo ji |b 专著 |e 证明及其限度 |f 郝兆宽，杨睿之，杨跃著

• 205 __ |a 2版

• 210 __ |a 上海 |c 复旦大学出版社有限公司 |d 2020

• 215 __ |a 15,255页 |d 24cm

• 300 __ |a 逻辑与形而上学教科书系列

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

• 517 1_ |a 证明及其限度 |A zheng ming ji qi xian du

• 606 0_ |a 数理逻辑 |x 高等学校 |j 教材

• 690 __ |a O141 |v 5

• 690 __ |a O14 |v 4

• 701 _0 |a 郝兆宽 |A hao zhao kuan |f (1968-) |4 著

• 701 _0 |a 杨睿之 |A yang rui zhi |4 著

• 701 _0 |a 杨跃 |A yang yue |c (逻辑学) |4 著

• 801 _2 |a CN |b OLCC |c 20210427

• 905 __ |a JBXQLIB |d O14/14