点击购买此书全本PDF电子书
第一章 导言 1
第一章 递回可计数关系 2
第三章 戴氏关系及Matiiasevic定理 7
第四章 戴氏关系的三个引理 9
第五章 引理4.1及定理3.1之证明 16
第六章 第十问题与Church学说 28
附录一 每一自然数为四整数平方和之证明 30
附录二 量词前置运算法 32
附录三 中国剩余定理之证明 33
附录四 RE关系与RE＊关系 34
附录五 校阅？释 35
文献 40
中英名词对照表 41