ゲーデルと20世紀の論理学(ロジック)
410
9
53-3
詳　細
ゲーデルと20世紀の論理学(ロジック) 3

田中 一之／編 -- 東京大学出版会 -- 2007.3

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

ゲーデルと20世紀の論理学(ロジック)
410
9
53-4
詳　細
ゲーデルと20世紀の論理学(ロジック) 4

田中 一之／編 -- 東京大学出版会 -- 2007.7

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

集合・位相・測度
410
9
54
詳　細
集合・位相・測度

志賀 浩二／著 -- 朝倉書店 -- 2006.2

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

暗号理論のための格子の数学
410
9
55
詳　細
暗号理論のための格子の数学

D.ミッチアンチオ／著 -- シュプリンガー・ジャパン -- 2006.11

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

論理と計算のしくみ
410
9
56
詳　細
論理と計算のしくみ

萩谷 昌己／著 -- 岩波書店 -- 2007.6

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

カントールの区間縮小法
410
9
57
詳　細
カントールの区間縮小法

市川 秀志／著 -- パレード -- 2007.6

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

無限のスーパーレッスン
410
9
58
詳　細
無限のスーパーレッスン

木村 俊一／著 -- 講談社 -- 2007.7

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

選択公理と数学
410
9
59
詳　細
選択公理と数学

田中 尚夫／著 -- 遊星社 -- 2005.10

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

集合論
410
9
60
詳　細
集合論

ケネス・キューネン／著 -- 日本評論社 -- 2008.1

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

論理と集合から始める数学の基礎
410
9
61
詳　細
論理と集合から始める数学の基礎

嘉田 勝／著 -- 日本評論社 -- 2008.12

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

「無限」の考察
410
9
63
詳　細
「無限」の考察

足立 恒雄／著 -- 講談社 -- 2009.6

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

バナッハ=タルスキの逆説
410
9
64
詳　細
バナッハ=タルスキの逆説

レナード・M.ワプナー／著 -- 青土社 -- 2009.12

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

バナッハ-タルスキーのパラドックス
410
9
65
詳　細
バナッハ-タルスキーのパラドックス

砂田 利一／著 -- 岩波書店 -- 2009.12

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

P=NP?問題へのアプローチ
410
9
66
詳　細
P=NP?問題へのアプローチ

西野 哲朗／著 -- 日本評論社 -- 2009.9

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