離散構造
410.9
2013
詳　細
離散構造

小島 定吉／著 -- 朝倉書店 -- 2013.3

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

石取りゲームの数学
410.9
2014
詳　細
石取りゲームの数学

佐藤 文広／著 -- 数学書房 -- 2014.3

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

絵解きパラドックス
410.9
2014
詳　細
絵解きパラドックス

高橋 昌一郎／監修 -- ニュートンプレス -- 2014.4

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

13歳の娘に語るアルキメデスの無限小
410.9
2014
詳　細
13歳の娘に語るアルキメデスの無限小

金 重明／著 -- 岩波書店 -- 2014.3

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

P≠NP予想とはなんだろう
410.9
2014
詳　細
P≠NP予想とはなんだろう

ランス・フォートナウ／著 -- 日本評論社 -- 2014.5

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

不完全性定理
410.9
2014
詳　細
不完全性定理

菊池 誠／著 -- 共立出版 -- 2014.10

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

論理と集合のはなし
410.9
2014
詳　細
論理と集合のはなし

大村 平／著 -- 日科技連出版社 -- 2014.7

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

コンピュータは数学者になれるのか?
410.9
2015
詳　細
コンピュータは数学者になれるのか?

照井 一成／著 -- 青土社 -- 2015.3

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

「P≠NP」問題
410.9
2015
詳　細
「P≠NP」問題

野崎 昭弘／著 -- 講談社 -- 2015.9

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

万能コンピュータ
410.9
2016
詳　細
万能コンピュータ

マーティン・デイヴィス／原著 -- 近代科学社 -- 2016.11

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

ヘルマン・ヴァイル連続体
410.9
2016
詳　細
ヘルマン・ヴァイル連続体

ヘルマン・ヴァイル／著 -- 日本評論社 -- 2016.2

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

証明と論理に強くなる
410.9
2017
詳　細
証明と論理に強くなる

小島 寛之／著 -- 技術評論社 -- 2017.2

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

スマリヤン数理論理学講義 下巻
410.9
2017
下
詳　細
スマリヤン数理論理学講義 下巻

レイモンド・M.スマリヤン／著 -- 日本評論社 -- 2018.9

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

スマリヤン数理論理学講義 上巻
410.9
2017
上
詳　細
スマリヤン数理論理学講義 上巻

レイモンド・M.スマリヤン／著 -- 日本評論社 -- 2017.9

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