本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
p-his
の本棚
手持ちの本の整理に役立てています。
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
論理学
書籍変更
|
カテゴリ名変更/削除
逆数学:定理から公理を「証明」する
(ジョン・スティルウェル / 森北出版)
数学基礎論
(新井 敏康 / 岩波書店)
ゲーデルと20世紀の論理学 4 集合論とプラトニズム
(田中 一之 / 東京大学出版会)
ゲーデルと20世紀の論理学 3 不完全性定理と算術の体系
( / 東京大学出版会)
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
( / 東京大学出版会)
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
( / 東京大学出版会)
ゲーデル 不完全性定理 (岩波文庫)
(ゲーデル / 岩波書店)
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)
(Akihiro Kanamori / Springer)
無限のパラドックス―パズルで学ぶカントールとゲーデル
(レイモンド スマリヤン / 白揚社)
ゲーデルの不完全性定理
(レイモンド スマリヤン / 丸善)
連続体仮説
(P.J. コーヘン / 東京図書)
証明論入門
(竹内 外史, 八杉 満利子 / 共立出版)
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
(Jean-Yves Girard / Humanities Pr)
数理論理学とタイプ理論―証明による真理へ
(ピーター アンドリュース / 丸善)
Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics)
(Peter B. Andrews / Academic Pr)
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)
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext)
(Bruno Poizat / Springer)
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える
( / シュプリンガー・フェアラーク東京)
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト