机读格式显示(MARC)

• 000 02158cam 2200685 450

• 001 0000316524

• 005 20190103155000.0

• 010 __ |a 978-7-5603-6494-0 |b 精装 |d CNY118.00

• 099 __ |a CAL 012018002842

• 100 __ |a 20171216d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 230000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a McCarthy函数和Ackermann函数 |A McCarthyhan shu he Ackermannhan shu |d = McCarthy function and Ackermann function |f 刘培杰数学工作室编译 |z eng

• 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2017

• 215 __ |a 414页 |d 24cm |e 2

• 225 2_ |a 现代数学中的著名定理纵横谈丛书 |A xian dai shu xue zhong de zhu ming ding li zong heng tan cong shu |v 31

• 300 __ |a 国家出版基金资助项目

• 330 __ |a 本书从一道前南斯拉夫数学奥林匹克试题谈起, 简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由来、数理逻辑的主要内容、数理逻辑的基本概念及数理逻辑的历史进展等内容。本书通过对小试题的讨论, 展示给读者一个关于数理逻辑的大世界, 是一本通向数理逻辑殿堂的桥梁之作。

• 410 _0 |1 2001 |a 现代数学中的著名定理纵横谈丛书 |v 31

• 510 1_ |a McCarthy function and Ackermann function |z eng

• 606 0_ |a 数理逻辑 |A shu li luo ji

• 690 __ |a O141 |v 5

• 711 02 |a 刘培杰数学工作室 |A liu pei jie shu xue gong zuo shi |4 编译

• 801 _0 |a CN |b 湖北三新 |c 20171216

• 905 __ |a XATU |d O141/36

• 920 __ |a 211010 |z 2

• 920 __ |a 242120 |z 1

• 920 __ |a 261011 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 232340 |z 1

• 920 __ |a 231220 |z 2

• 920 __ |a 244020 |z 2

• 920 __ |a 261030 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 231280 |z 1

• 920 __ |a 211261 |z 1

• 920 __ |a 232370 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 262010 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 243160 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 234160 |z 0

• 920 __ |a 222020 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 237020 |z 1

• 920 __ |a 241010 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 214010 |z 1

• 998 __ |a PUL