فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

集合論—独立性証明への案内

Main
Mathematics - Mathematical Foundations
集合論—独立性証明への案内

集合論—独立性証明への案内

ケネス・キューネン, 藤田博司

0 / 4.5

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سب زمرہ:

Mathematics - Mathematical Foundations

جلد:

1

سال:

2008

اشاعت:

1

ناشر کتب:

日本評論社

زبان:

japanese

صفحات:

415

ISBN 10:

4535783829

ISBN 13:

9784535783829

فائل:

PDF, 75.67 MB

IPFS:

,

japanese, 2008

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

ウィラード・ヴァン・オーマン・クワイン — 集合論とその論理

倉田令二朗,篠田寿一 — 公理論的集合論

竹内外史 — 数学基礎論増補版

前原昭二 — 記号論理入門

吉田洋一 — 点集合論入門

岩堀長慶 — 2次行列の世界

戸田正人,Masahito Toda — 3次元トポロジーの新展開ーリッチフローとポアンカレ予想

山内恭彦 — 回転群とその表現

松坂和夫,Kazuo Matsusaka — 集合・位相入門

松坂和夫 — 線型代数入門

杉浦光夫 — 解析入門 II

齋藤正彦 — 線型代数演習

新井敏康 — 数学基礎論増補版

田中一之 — ゲーデルに挑む証明不可能なことの証明

田中一之 — ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

田中一之 — ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

田中一之 — ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

田中一之 — ゲーデルと20世紀の論理学 4 : 集合論とプラトニズム

堀田良之,Ryōshi Hotta — 加群十話 : 代数学入門 /Kagun jūwa : daisūgaku nyūmon

中島匠一 — 代数方程式とガロア理論

菊池誠 — 不完全性定理

坂内英一, 坂内悦子, 伊藤達郎 — 代数的組合せ論入門

佐野勝彦,倉橋太志,薄葉季路,黒川英徳,菊池誠 — 数学における証明と真理: 様相論理と数学基礎論

志甫淳 — 層とホモロジー代数

志賀弘典,Hironori Shiga,新井仁之,小林俊行,斎藤毅,吉田朋広 — 保型関数－古典理論とその応用 /Hokei kansū. Koten riron to sono ōyō

朱牟田夏雄 — 英文をいかに読むか

A. J. カナモリ — 巨大基数の集合論

野口廣 — エキゾチックな球面

André Weil,アンドレ・ヴェイユ, 斎藤正彦 — 位相群上の積分とその応用

松本幸夫 — 4次元のトポロジー

Gaisi Takeuti, 竹内外史 — 層・圏・トポス——現代的集合像を求めて

竹内外史 — 数学基礎論の世界ロジックの雑記帳から

田中一之, 鹿島亮, 角田法也, 菊池誠 — 数学基礎論講義―不完全性定理とその発展

嘉田勝 — 論理と集合から始める数学の基礎

Herbert Kenneth Kunen,ケネスキューネン, 藤田博司 — キューネン数学基礎論講義

Tom Leinster,T. レンスター,斎藤恭司,土岡俊介 — ベーシック圏論普遍性からの速習コース

Toshiki Kitamura — English-Japanese The Student's Dictionary of Physics

Gaisi Takeuti, 竹内外史 — 証明論と計算量

数学セミナー編集部 — 大学数学の質問箱数学セミナー増刊

数理科学編集部 — 数理科学 2008年11月号「物理と論理」

Unknown — チューリングマシンと計算量の理論 (情報数理シリーズ B-2)

坪井明人 — モデルの理論

اہم جملے