机读格式显示(MARC)
- 000 01226nam0 2200289 450
- 010 __ |a 978-7-5603-6494-0 |b 精装 |d CNY118.00
- 100 __ |a 20180313d2017 em y0chiy50 ea
- 200 1_ |a McCarthy函数和Ackermann函数 |9 mccarthyhan shu he ackermannhan shu |b 专著 |d McCarthy function and ackermann function |f 刘培杰数学工作室编译 |z eng
- 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2017
- 225 1_ |a 现代数学中的著名定理纵横谈丛书 |v 31 |f 王梓坤主编
- 300 __ |a 国家出版基金资助项目 国家出版基金项目
- 330 __ |a 本书从一道前南斯拉夫数学奥林匹克试题谈起,简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由来、数理逻辑的主要内容、数理逻辑的基本概念及数理逻辑的历史进展等内容。本书通过对小试题的讨论,展示给读者一个关于数理逻辑的大世界,是一本通向数理逻辑殿堂的桥梁之作。
- 510 1_ |a McCarthy function and ackermann function |z eng
- 701 _0 |a 刘培杰数学工作室 |9 liu pei jie shu xue gong zuo shi |4 编译
- 801 _2 |a CN |b OLCC |c 20180503
- 801 _0 |a CN |b A230000HPL |c 20180315
- 905 __ |a JBXQLIB |d O14/19