1991/8/1

高橋正子 著

この本特有の記号, 用語

Nプログラム

基本プログラムのこと

pp. 7-8

原始的関数

原始帰納的関数のこと

\dot -: 演算結果が負数の場合は0になる引き算 p.5

ラムダ抽象M中の自由変数\mathrm{FV}(M) p.65

1章

帰納的関数論について

2章

説明がかなりまどろっこしい