作者：
出版社： 哈尔滨工业大学出版社
CIP号：2017042310
书号：978-7-5603-6494-0
出版地：哈尔滨
出版时间：2017.2
定价：￥128
本书从一道前南斯拉夫数学奥林匹克试题谈起，简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由来、数理逻辑的主要内容、数理逻辑的基本概念及数理逻辑的历史进展等内容。本书通过对小试题的讨论，展示给读者一个关于数理逻辑的大世界，是一本通向数理逻辑殿堂的桥梁之作。