机读格式显示(MARC)

• 000 01224oam2 2200337 450

• 001 0000370424

• 005 20230927174300.0

• 010 __ |a 978-7-03-051962-7 |b 精装 |d CNY98.00

• 035 __ |a (A100000NLC)008998758

• 049 __ |a A100000NLC |b UCS01008665442 |c 008998758 |d NLC01

• 100 __ |a 20170509d2017 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 算术、真与悖论 |9 suan shu 、 zhen yu bei lun |b 专著 |f 熊明著

• 210 __ |a 北京 |c 科学出版社 |d 2017

• 215 __ |a 12,260页 |c 彩照 |d 24cm

• 225 0_ |a 国家哲学社会科学成果文库 |h 2016

• 312 __ |a 封底英文题名：Arithmetic, truth and paradoxes

• 330 __ |a 本书分三编，主要内容包括：集与序；形式算术；原始递归函数与递归函数；哥德尔编码及相关函数；层次理论；克林强三值赋值与克里普克不动点定理；超赋值与最小不动点；T-模式与说谎者；悖论的悖论度等。

• 461 _0 |1 2001 |a 国家哲学社会科学成果文库 |1 035 |a (A100000NLC)005270649

• 510 1_ |a Arithmetic, truth and paradoxes |z eng

• 606 0_ |a 真理 |x 研究

• 606 0_ |a 逻辑学 |x 悖论 |x 研究

• 690 __ |a B023.3 |v 5

• 690 __ |a B81 |v 5

• 690 __ |a B023 |v 4

• 701 _0 |a 熊明 |9 xiong ming |f (1973-) |4 著

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

• 905 __ |a JBXQLIB |d B023/25