チューリングの計算理論入門
4109
T14
詳　細
チューリングの計算理論入門

高岡詠子／著 -- 講談社 -- ２０１４．２

（画像取得中）
（画像なし）

学んでみよう！記号論理
4109
T15
詳　細
学んでみよう！記号論理

高崎金久／著 -- 日本評論社 -- ２０１４．８

（画像取得中）
（画像なし）

コンピュータは数学者になれるのか？
4109
T16
詳　細
コンピュータは数学者になれるのか？

照井一成／著 -- 青土社 -- ２０１５．３

（画像取得中）
（画像なし）

離散数学「ものを分ける理論」
4109
T17
詳　細
離散数学「ものを分ける理論」

徳田 雄洋／著 -- 講談社 -- ２０１８．５

（画像取得中）
（画像なし）

無限とはなんだろう
4109
T18
詳　細
無限とはなんだろう

玉野 研一／著 -- 講談社 -- ２０２３．３

（画像取得中）
（画像なし）

論理数学
4109
T2
詳　細
論理数学

田村三郎／著 -- 現代数学社 -- １９８２．９

（画像取得中）
（画像なし）

計算論
4109
T3
詳　細
計算論

高橋正子／著 -- 近代科学社 -- １９９１．８

（画像取得中）
（画像なし）

やさしい＊ファジィ
4109
T4
詳　細
やさしい＊ファジィ

田中英夫／著 -- 日本電気文化センター -- １９９２．３

（画像取得中）
（画像なし）

選択公理と数学
4109
T5
詳　細
選択公理と数学

田中尚夫／著 -- 遊星社 -- １９８７．５

（画像取得中）
（画像なし）

計算論理入門
4109
T5
2
詳　細
計算論理入門

田中尚夫／著 -- 裳華房 -- １９９７．１０

（画像取得中）
（画像なし）

応用をめざす人のためのファジィ理論入門
4109
T7
詳　細
応用をめざす人のためのファジィ理論入門

田中一男／著 -- ラッセル社 -- １９９１．９

（画像取得中）
（画像なし）

数学基礎論講義
4109
T8
詳　細
数学基礎論講義

田中一之／編・著 -- 日本評論社 -- １９９７．３

（画像取得中）
（画像なし）

数学のロジックと集合論
4109
T8
2
詳　細
数学のロジックと集合論

田中一之／共著 -- 培風館 -- ２００３．１２

（画像取得中）
（画像なし）

ゲーデルに挑む
4109
T8
3
詳　細
ゲーデルに挑む

田中一之／著 -- 東京大学出版会 -- ２０１２．４

（画像取得中）
（画像なし）