《[递归函数论]·上海科技社版》:322页;PDF约16.43MB。
《[递归函数论]·科学社版-V2》:282页;PDF约13.58MB。
《[递归函数论]·科学社版》:283页;PDF约26.55MB。