照井一成『再帰的関数論』
https://www.kurims.kyoto-u.ac.jp/~cs/cs2011_terui.pdf