HILBERTPDF电子书下载

第一章 导言 1

第一章 递回可计数关系 2

第三章 戴氏关系及Matiiasevic定理 7

第四章 戴氏关系的三个引理 9

第五章 引理4.1及定理3.1之证明 16

第六章 第十问题与Church学说 28

附录一 每一自然数为四整数平方和之证明 30

附录二 量词前置运算法 32

附录三 中国剩余定理之证明 33

附录四 RE关系与RE＊关系 34

附录五 校阅？释 35

文献 40

中英名词对照表 41