McCarthy函数和Ackermann

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