>> Google Books
所蔵情報QRコード

数の体系と超準モデル / 田中一之著

資料種別:
図書
出版情報:
東京 : 裳華房, 2002.4
形態:
xvii, 265p ; 22cm
著者名:
田中, 一之 <DA10709116>  
ISBN:
9784785315306 [478531530X]
書誌ID:
BA56669272
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中, 一之

裳華房
7 図書 ゲーデルの20世紀

田中, 一之

東京大学出版会
2 図書 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より

田中, 一之

シュプリンガー・フェアラーク東京
8 図書 ゲーデルと20世紀の論理学 (ロジック)

田中, 一之

東京大学出版会
3 図書 逆数学 : 定理から公理を「証明」する

Stillwell, John, 川辺, 治之, 田中, 一之

森北出版
9 図書 ゲーデルに挑む : 証明不可能なことの証明

田中, 一之

東京大学出版会
4 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
10 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
5 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
11 図書 計算モデルの基礎理論

井田, 哲雄(1947-)

岩波書店
6 図書 数学基礎論講義 : 不完全性定理とその発展

田中, 一之, 鹿島, 亮, 角田, 法也, 菊池, 誠

日本評論社
12 図書 チューリングと超 (メタ) パズル : 解ける問題と解けない問題

田中, 一之, Turing, Alan Mathison, 1912-1954

東京大学出版会
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12