hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms
逆数学:定理から公理を「証明」する
逆数学:定理から公理を「証明」する
著者: ジョン・スティルウェル
出版社: 森北出版
評価: ★★
カテゴリ: 論理学
コメント:
関連本棚: kuwa p-his 岸リトル
Fms
数学基礎論
数学基礎論
著者: 新井 敏康
出版社: 岩波書店
評価: ★★
カテゴリ: 論理学
コメント:
関連本棚: 岸リトル kuwa p-his
Fms
ゲーデルと20世紀の論理学 4 集合論とプラトニズム
ゲーデルと20世紀の論理学 4 集合論とプラトニズム
著者: 田中 一之
出版社: 東京大学出版会
評価: ★★★
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
ゲーデルと20世紀の論理学 3　不完全性定理と算術の体系
ゲーデルと20世紀の論理学 3　不完全性定理と算術の体系
著者:
出版社: 東京大学出版会
評価: ★★★★
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
著者:
出版社: 東京大学出版会
評価: ★
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
著者:
出版社: 東京大学出版会
評価: ★
カテゴリ: 論理学
コメント:
関連本棚: p-his spi
Fms
ゲーデル 不完全性定理 (岩波文庫)
ゲーデル 不完全性定理 (岩波文庫)
著者: ゲーデル
出版社: 岩波書店
評価: ★★
カテゴリ: 論理学
コメント:
関連本棚: p-his 佐藤優 Ｋ内 musao3 大学生のための100人100冊
Fms
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)
著者: Akihiro Kanamori
出版社: Springer
評価: ★★★
カテゴリ: 論理学
コメント: 巨大基数(Large Cardinals)の本。集合論。難しい。
関連本棚: p-his おせの本棚
Fms
無限のパラドックス―パズルで学ぶカントールとゲーデル
無限のパラドックス―パズルで学ぶカントールとゲーデル
著者: レイモンド スマリヤン
出版社: 白揚社
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his KNM matznaga lookwest
Fms
ゲーデルの不完全性定理
ゲーデルの不完全性定理
著者: レイモンド スマリヤン
出版社: 丸善
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his yashihara 雑食 toshiharu 羽尻 matznaga
Fms
連続体仮説
連続体仮説
著者: P.J. コーヘン
出版社: 東京図書
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
証明論入門
証明論入門
著者: 竹内 外史, 八杉 満利子
出版社: 共立出版
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
著者: Jean-Yves Girard
出版社: Humanities Pr
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
数理論理学とタイプ理論―証明による真理へ
数理論理学とタイプ理論―証明による真理へ
著者: ピーター アンドリュース
出版社: 丸善
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics)
Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics)
著者: Peter B. Andrews
出版社: Academic Pr
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
From Frege to Goedel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)
From Frege to Goedel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)
著者: Jean van Heijenoort
出版社: Harvard University Press
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext)
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext)
著者: Bruno Poizat
出版社: Springer
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える
著者:
出版社: シュプリンガー・フェアラーク東京
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms