本书从一道前南斯拉夫数学奥林匹克试题谈起，以粗犷的线条，简明的介绍了麦卡锡函数、阿克曼函数及递归函数...
2012.8
数理逻辑是从传统形式逻辑中分化出来的一门新兴科学。本书从4个方面讲述了数理逻辑及其基础知识。第一部分...
2012.1