直観主義的集合論 / 竹内外史著
(本館)2F一般書架(和)
チューリングの計算理論入門 : チューリング・マシンからコンピュータへ / 高岡詠子著
(薬学)薬学書庫3F
だからファジィが面白い / 廣田薫著
(薬学)薬学書庫3F
だからファジィが面白い / 廣田薫著
(本館)2F一般書架(和)
ファジィ最適化の数理 / 古川長太著
(薬学)アネックスファーム3F
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
(本館)2F文庫・新書2
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
(薬学)薬学書庫3F
ゲーデル / 竹内外史著
(薬学)薬学3F 301
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
(本館)書庫3(1号棟1)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
(本館)4Fメディア
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
(薬学)薬学書庫3F
現代数学はじめの一歩集合と位相 : 数学はいかに「無限」をかぞえたのか / 瀬山士郎著
(薬学)薬学3F 新着ブルーバックス
公理論的集合論 / 西村敏男, 難波完爾著
(本館)書庫3(1号棟1)
無限と心 : 無限の科学と哲学 / ラディー・ラッカー著 ; 好田順治訳
(薬学)アネックスファーム3F
無限と心 : 無限の科学と哲学 / ラディー・ラッカー著 ; 好田順治訳
(本館)2F一般書架(和)
無限の不思議 : その先に何がある!? / 仲田紀夫著
(薬学)薬学書庫3F
無限とはなんだろう : 限りなく多く、大きく、遠いふしぎな世界 / 玉野研一著
(薬学)薬学3F 新着ブルーバックス
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
(薬学)薬学書庫3F
「P≠NP」問題 : 現代数学の超難問 / 野崎昭弘著
(薬学)薬学書庫3F
パラドクスの数理 / Bryan H. Bunch著 ; 細井勉訳
(本館)2F一般書架(和)
離散数学「数え上げ理論」 : 「おみやげの配り方」から「Nクイーン問題」まで / 野崎昭弘著
(薬学)薬学書庫3F
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
(薬学)薬学書庫3F
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
(薬学)薬学書庫3F
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
(薬学)薬学書庫3F
集合と位相 / 内田伏一著
(薬学)アネックスファーム3F
集合への30講 / 志賀浩二著
(本館)2F一般書架(和)
集合論入門 / 赤摂也
(本館)2F一般書架(和)
Statistical decision theory and Bayesian analysis / James O. Berger
(本館)2F一般書架(洋)
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
(薬学)アネックスファーム3F
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
(本館)2F一般書架(和)
数学にときめくふしぎな無限 : インターネットから飛び出した数学課外授業 / e-教室編
(薬学)薬学書庫3F
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
(薬学)薬学書庫3F
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
(薬学)薬学書庫3F
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
(薬学)アネックスファーム3F
情報科学のための論理数学 / 細井勉著
(本館)2F一般書架(和)
情報科学のための論理数学 / 細井勉著
(本館)書庫6(1号棟2)
計算論理入門 : 情報の数理 / 田中尚夫著
(本館)2F一般書架(和)
計算論理入門 : 情報の数理 / 田中尚夫著
(薬学)アネックスファーム3F
記号論 / 吉田夏彦著
(本館)2F一般書架(和)
記号論理・入門 / 上江洲忠弘著
(薬学)アネックスファーム3F