数学基礎論講義 : 不完全性定理とその発展 | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Amazon.co.jp

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

フォーマット:

図書

責任表示:

田中一之 [ほか] 著

言語:

日本語

出版情報:

東京 : 日本評論社, 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 図書ゲーデルの定理 : 利用と誤用の不完全ガイド Franzén, Torkel, 田中, 一之みすず書房
2 図書完全性定理とモデル理論田中, 一之東京大学出版会	8 図書不完全性定理 : 数学的体系のあゆみ野崎, 昭弘(1936-) 日本評論社
3 図書数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics 田中, 一之裳華房	9 図書不完全性定理とはなにか : ゲーデルとチューリングの考えたこと竹内, 薫(1960-) 講談社
4 図書数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より田中, 一之シュプリンガー・フェアラーク東京	10 図書数の体系と超準モデル田中, 一之裳華房
5 図書ゲーデルの世界 : 完全性定理と不完全性定理広瀬, 健(1935-), 横田, 一正(1949-) 海鳴社	11 図書逆数学と2階算術田中, 一之河合文化教育研究所, 河合出版 (発売)
6 図書ゲーデルの不完全性定理結城, 浩ソフトバンククリエイティブ	12 図書スマリヤン数理論理学 : 述語論理と完全性定理 Smullyan, Raymond M., 1919-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-) 丸善出版