---

＜図書＞
キノウテキ カンスウト ジュツゴ
帰納的関数と述語 / 篠田寿一著
(数学基礎論シリーズ ; 5巻)

出版者	名古屋 : 河合文化教育研究所
出版者	東京 : 河合出版
出版年	1997.5
出版年	1997.5
大きさ	vi, 188p ; 21cm
著者標目	篠田, 寿一(1948- ) <シノダ, ジュイチ(1948- )>
件　名	帰納的関数
一般注記	共通タイトルの責任表示:倉田令二朗監修 ＼ 発売:河合出版 ＼ 参考文献 :p182-183

 類似資料