集合论讲义: 特别强调力迫方法 Lectures in Set Theory with Particular Emphasis on the Method of Forcing THOMAS J. JECH著 SUI YUEFEI译 数学讲义217, Springer-Verlag 1971 原作者序 该笔记包括我在state University of New York in Buffalo于1969-70讲授的研究生课程 ...
递归函数理论以及有效可计算性 Theory of Recursive Functions and Effective Computability Hartley ROGERS, Jr. 著 眭跃飞 译 McGraw-Hill Book Company, 1967 序 在1944年对美国数学协会的演讲中, E.L.Post总结说, “的确, 如果一般递归函数是有效可计算性的形式等价, ...