莫绍揆著1987 年出版308 页ISBN：7030000501
本书是一本人门书，对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分...
郝兆宽，杨睿之，杨跃著2018 年出版207 页ISBN：9787309140187
递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他...
孔著；晁说之著；黎立武著；黎立武著1991 年出版33 页ISBN：7101008941
我国丛书号称数千部，唯个人诗文集居其半，而内容割裂琐碎不合丛书体例者，又居其余之半。其名实相符者，不过数百部。为此，商务印书馆于一九三五至一九三七年选其有价值者百部，以实用与罕见为标的，去其重复，编为......
