Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

モデルの理論

Main
モデルの理論

モデルの理論

坪井明人

0 / 5.0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Volume:

3

Anno:

1997

Casa editrice:

河合文化教育研究所

Lingua:

japanese

Collana:

数学基礎論シリーズ

File:

PDF, 23.14 MB

IPFS:

,

japanese, 1997

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

田中一之 — 逆数学と2階算術

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

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

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

田中尚夫 — 公理的集合論

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

松本和夫 — 復刊数理論理学

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

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

萩谷昌己, 西崎真也 — 論理と計算のしくみ

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

長井英生 — 確率微分方程式

阿部英一 — ホップ代数

石井志保子 — 特異点入門

松本和夫 — 数理論理学

Torkel Franzen,トルケル・フランセーン, 田中一之 — ゲーデルの定理利用と誤用の不完全ガイド

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

弥永昌吉, 弥永健一 — 集合と位相

近藤武 — 群論I,II,III

加藤和也, 黒川信重, 斎藤毅 — 数論I

新井敏康 — 数学基礎論

清水義夫 — 記号論理学

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

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

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

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

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

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

永尾汎 — 代数学

永田雅宜,Masayoshi Nagata — 可換環論

辰馬伸彦 — 位相群の双対定理

斎藤秀司,Shuji Saito — 整数論

前原昭二 — 数理論理学序説

菊池誠 — 不完全性定理

三宅克哉 — 楕円関数概観 ―楕円積分から虚数乗法まで―

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

Termini più frequenti