「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
代数を図形で解く : 直感でわかる数学の楽しみ / 中村義作, 阿邊恵一著
(薬学)薬学書庫3F
代数ことはじめ / 安倍斉著
(本館)2F一般書架(和)
解析学序説 / 一松信著
(薬学)アネックスファーム3F
代数学講義 / 高木貞治著
(薬学)アネックスファーム3F
代数学 / 彌永昌吉, 彌永健一著
(本館)書庫3(1号棟1)
マンガ「代数学」超入門 : 足し算、引き算から2次方程式まで / ラリー・ゴニック著・絵 ; 薮田真弓, 藤原誉枝子訳
(薬学)薬学書庫3F
代数学 / 藤原松三郎著
(薬学)アネックスファーム3F
代数学 / 藤原松三郎著
(薬学)アネックスファーム3F
代数ことはじめ / 安倍斉著
(本館)書庫6(1号棟2)