Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

数理論理学—語の問題

Main
Mathematics - Logic
数理論理学—語の問題

数理論理学—語の問題

Gaisi Takeuti, 竹内外史

0 / 4.5

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Mathematics - Logic

Հատոր:

7

Տարի:

1973

Հրատարակում:

1

Հրատարակչություն:

培風館

Լեզու:

japanese

Էջեր:

118

Սերիաներ:

数理科学シリーズ

Ֆայլ:

PDF, 14.73 MB

IPFS:

,

japanese, 1973

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

藤野登 — 論理学―伝統的形式論理学

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

倉田令二朗 — 数学基礎論へのいざない

清水義夫 — 記号論理学講義基礎理論束論と圏論知識論

小平邦彦,堀川穎ニ — 複素多様体と複素構造の変形II

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

示野信一 — 演習形式で学ぶ　リー群・リー環

岩澤健吉 — 代数函数論

D.フックス, S.タバチニコフ, 蟹江幸博 — ヒルベルトの忘れられた問題 (本格数学練習帳第3巻)

小林俊行,大島利雄 — Lie群とLie環

清水義夫 — 圏論による論理学高階論理とトポス

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

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

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

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

村上信吾 — 連続群論の基礎

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

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

本橋信義 — 論理学は数学の役に立つか?―新しい論理学の構築

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

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

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

古森雄一, 小野寛晰 — 現代数理論理学序説

Marcus Giaquinto; 田中一之 — 確かさを求めて : 数学の基礎についての哲学論考

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

江田勝哉 — 数理論理学

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

松島与三 — 多様体入門

今井功 — 流体力学　前編

洞彰人,Akihito Hora — 対称群の表現とヤング図形集団の解析学 : 漸近的表現論への序説

永田雅宜,Masayoshi Nagata,宮西正宜,Masayoshi Miyanishi,丸山正樹,Masaki Maruyama — 抽象代数幾何学

本田欣哉, 永田雅宜 — アーベル群・代数群

田中尚夫 — 公理的集合論

韓太舜, 伊理正夫 — ジョルダン標準形

Marshall Hall Jr.,ホール, 金沢稔, 八牧宏美 — ホール群論上

遠山啓 — 代数的構造

松坂和夫 — 線型代数入門

近藤武 — 群論

彌永昌吉,Iyanaga Shokichi, 彌永健一 — 集合と位相I,II

清水義夫 — 記号論理学

桂利行 — 代数学 I —群と環

桂利行 — 代数学 II —環上の加群

Հիմնական արտահայտություններ