資料詳細

  • 1 件中、 1 件目

帰納的関数と述語 貸出可

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410.9/ｼ/ 113449110 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ