《可計算性理論》張鳴華，內容豐富。書價1.50元，掃描價32.0元。因為是比較基礎的理論所以不過時。惜其絕版。并不知道其內容與現存的莫紹揆的遞歸論相比如何，歡迎評論區評論。