完全性定理とモデル理論

フォーマット:
図書
責任表示:
田中一之編
言語:
日本語
出版情報:
東京 : 東京大学出版会, 2006.10
形態:
xii, 286p : 挿図, 肖像 ; 22cm
著者名:
田中, 一之 <DA10709116>  
シリーズ名:
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2 <BA77788892>
書誌ID:
BA78934027
ISBN:
9784130640961 [4130640968]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 ゲーデルの20世紀

田中, 一之

東京大学出版会
7 図書 幾何的モデル理論入門 : モデル理論の代数, 数論幾何への応用

板井, 昌典

日本評論社
2 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
8 図書 ゲーデルの不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-)

丸善
3 図書 ゲーデルの哲学 : 不完全性定理と神の存在論

高橋, 昌一郎(1959-)

講談社
9 図書 不完全性定理

Gödel, Kurt, 1906-1978, 林, 晋(1953-), 八杉, 満利子(1937-)

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

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

日本評論社
10 図書 数学モデルの作り方と理論 : ソフト・ウェア工学入門

加藤, 蕾二(1903-)

工学図書
5 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
11 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

筑摩書房
6 図書 集合論とプラトニズム

田中, 一之

東京大学出版会
12 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

日本評論社