資料詳細

  • 1 件中、 1 件目

帰納的関数と述語 貸出可

篠田 寿一／著 -- 河合文化教育研究所 -- 1997.5 -- 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410.9/97/ 00007915911 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 帰納的関数と述語 ,
書名ヨミ キノウテキ　カンスウ　ト　ジュツゴ
叢書名 数学基礎論シリーズ
著者 篠田 寿一 ／著  
著者名ヨミ シノダ,ジュイチ
出版者 河合文化教育研究所
出版年 1997.5
ページ数, 大きさ 188p, 21cm
NDC１０版 410.9
NDC８版 410.9
一般件名 数学基礎論
内容紹介 0.自然数 1.計算可能性 2.帰納的可算集合 3.算術的述語 4.Hilbertの第10問題 5.抽象的計算量 6.Turing次数<ソフトカバー>

ページの先頭へ