ダウンロード

帰納的定義を許す形式体系で定義できる計算可能 な関数の分類について