※ 詳細ボタンがピンク色のものについては、書誌詳細画面より試し読みが可能です。
詳 細
無限
410.9
ステ
無限

イアン・スチュアート/〔著〕 -- 岩波書店 -- 2018.5

(画像取得中)
(画像なし)

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

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

(画像取得中)
(画像なし)

詳 細
ゲーデルの不完全性定理
410.9
スマ
ゲーデルの不完全性定理

レイモンド・スマリヤン/著 -- 丸善 -- 1996.07

(画像取得中)
(画像なし)

詳 細
決定不能の論理パズル
410.9
スマ
決定不能の論理パズル

レイモンド・スマリヤン/著 -- 白揚社 -- 1990.11

(画像取得中)
(画像なし)

詳 細
数理論理学
410.9
スマ
数理論理学

スマリヤン/〔著〕 -- 丸善出版 -- 2014.11

(画像取得中)
(画像なし)

詳 細
集合論入門
410.9
セキ
集合論入門

赤 攝也/著 -- 培風館 -- 1977

(画像取得中)
(画像なし)

詳 細
なっとくする集合・位相
410.9
セヤ
なっとくする集合・位相

瀬山士郎/著 -- 講談社 -- 2001.9

(画像取得中)
(画像なし)

詳 細
なっとくする数学の証明
410.9
セヤ
なっとくする数学の証明

瀬山士郎/著 -- 講談社 -- 2013.1

(画像取得中)
(画像なし)

詳 細
組合せ数学
410.9
セン
組合せ数学

仙波一郎/著 -- コロナ社 -- 1999.11

(画像取得中)
(画像なし)

詳 細
証明の読み方・考え方
410.9
ソロ
証明の読み方・考え方

ダニエル・ソロー/著 -- 共立出版 -- 1985.06

(画像取得中)
(画像なし)

詳 細
ゲーデルの哲学
410.9
タカ
ゲーデルの哲学

高橋昌一郎/著 -- 講談社 -- 1999.08

(画像取得中)
(画像なし)

詳 細
チューリングの計算理論入門
410.9
タカ
チューリングの計算理論入門

高岡詠子/著 -- 講談社 -- 2014.2

(画像取得中)
(画像なし)

詳 細
最強に面白いパラドックス
410.9
タカ
最強に面白いパラドックス

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

(画像取得中)
(画像なし)

詳 細
証明論入門
410.9
タケ
証明論入門

竹内 外史/著 -- 共立出版 -- 1988.02

(画像取得中)
(画像なし)