数学基礎論講義 : 不完全性定理とその発展 | 金沢大学附属図書館 OPAC plus

Blank Cover Image

QRコード(所蔵情報)

数学基礎論講義 : 不完全性定理とその発展

フォーマット:

図書

責任表示:

田中一之 [ほか] 著

言語:

日本語

出版情報:

東京 : 日本評論社, 1997.3

形態:

ix, 206p ; 22cm

著者名:

書誌ID:

BN16121881

ISBN:

9784535782419 [4535782415]

子書誌情報

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	Lectures on foundations of mathematics
主題:	数学基礎論
分類・件名:	NDC9 : 410.9 NDC8 : 410.9 NDC7 : 410.1 BSH : 数学基礎論
注記:	その他の著者: 鹿島亮, 角田法也, 菊池誠索引: p203-206
タイトルのヨミ、その他のヨミ:	スウガクキソロンコウギ : フカンゼンセイテイリトソノハッテン
TTLL:	jpn
著者名ヨミ:	タナカ, カズユキカシマ, リョウカドタ, ノリヤキクチ, マコト

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書不完全性定理菊池, 誠共立出版	7 図書数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics 田中, 一之裳華房
2 図書不完全性定理と算術の体系田中, 一之東京大学出版会	8 図書数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より田中, 一之シュプリンガー・フェアラーク東京
3 図書完全性定理とモデル理論田中, 一之東京大学出版会	9 図書数学基礎論 : ゲーデルの不完全性定理隈部, 正博(1962-) 放送大学教育振興会
4 電子ブック完全性定理とモデル理論田中, 一之東京大学出版会	10 図書ゲーデルの世界 : 完全性定理と不完全性定理広瀬, 健(1935-), 横田, 一正(1949-) 海鳴社
5 図書不完全性定理の先へ Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之日本評論社	11 電子ブック山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌田中, 一之, バラマツ, ヒトミ日本評論社
6 図書不完全性定理の理解のために Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之日本評論社	12 図書逆数学 : 定理から公理を「証明」する Stillwell, John, 川辺, 治之, 田中, 一之森北出版