机读格式显示(MARC)

• 000 01142nam0 2200301 450

• 001 0000997502

• 005 20210325133300.0

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

• 100 __ |a 20201229d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a a z 001yy

• 106 __ |a r

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

• 205 __ |a 2版

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

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

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

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

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

• 606 0_ |a 数理逻辑 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 郝兆宽 |9 hao zhao kuan |4 著

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

• 701 _0 |a 杨跃 |9 yang yue |4 著

• 801 _0 |a CN |b 浙江省新华书店集团公司 |c 20201229

• 801 _2 |a CN |b Wuxilib |c 20210325

• 905 __ |a Wuxilib |d O141/30-2