ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
(本館)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
パズルとパラドックス / 内井惣七著
(薬学)薬学書庫3F
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
(本館)2F一般書架(和)
Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds
(本館)2F一般書架(洋)
Algebra : an introduction for college students / [by] Carl M. Bruns [and others]
(薬学)薬学3F 310
Modern applied algebra / Garrett Birkhoff and Thomas C. Bartee
(薬学)薬学3F 310
Essentials of algebra / [by] Ross H. Bardell and Abraham Spitzbart
(薬学)薬学3F 310
Algebra and trigonometry : a programmed course with applications / [by] Harvey J. Brudner
(薬学)薬学3F 310
Operational mathematics / Ruel V. Churchill
(薬学)薬学3F 310
超複素数入門 : 多元環へのアプローチ / И.Л.Кантор, А.С.Солодовников著 ; 笠原久弘訳
(薬学)アネックスファーム3F