数の体系と超準モデル | 金沢大学附属図書館 OPAC plus

>> Google Books

QRコード(所蔵情報)

数の体系と超準モデル

フォーマット:: 図書
責任表示:: 田中一之著
言語:: 日本語
出版情報:: 東京 : 裳華房, 2002.4
形態:: xvii, 265p ; 22cm
著者名:: 田中, 一之 <DA10709116>
書誌ID:: BA56669272
ISBN:: 9784785315306 [478531530X]

子書誌情報

所蔵情報

Loading availability information

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

詳細

その他の標題:	Logic of arithmetic : formal systems and non-standard models 数の体系と超準モデル
主題:	数学基礎論
分類・件名:	NDC8 : 410.9 NDC9 : 410.9 BSH : 数学基礎論
注記:	欧文タイトルは標題紙裏による文献案内: p251-255
タイトルのヨミ、その他のヨミ:	スウノタイケイトチョウジュンモデル
その他のタイトルのヨミ、その他のヨミ:	カズノタイケイトチョウジュンモデル
TTLL:	jpn
著者名ヨミ:	タナカ, カズユキ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics 田中, 一之裳華房	7 図書不完全性定理と算術の体系田中, 一之東京大学出版会
2 図書数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より田中, 一之シュプリンガー・フェアラーク東京	8 図書ゲーデルの20世紀田中, 一之東京大学出版会
3 図書逆数学 : 定理から公理を「証明」する Stillwell, John, 川辺, 治之, 田中, 一之森北出版	9 図書チューリングと超 (メタ) パズル : 解ける問題と解けない問題田中, 一之東京大学出版会
4 図書完全性定理とモデル理論田中, 一之東京大学出版会	10 図書ゲーデルと20世紀の論理学 (ロジック) 田中, 一之東京大学出版会
5 電子ブック完全性定理とモデル理論田中, 一之東京大学出版会	11 図書ゲーデルに挑む : 証明不可能なことの証明田中, 一之東京大学出版会
6 図書数学基礎論講義 : 不完全性定理とその発展田中, 一之, 鹿島, 亮, 角田, 法也, 菊池, 誠日本評論社	12 図書ゲーデルと現代ロジック : 「フォーラム」現代数学のひろがり上野, 健爾(1945-), 砂田, 利一(1948-), 新井, 仁之(1959-) 日本評論社