後者関数
↑ “再帰的関数論” (pdf). 京都大学数理解析研究所. p. 6. 2017年11月27日閲覧。
↑ Halmos 1968, Chapter 11.