Blank Cover Image
このページのQRコード

ゲーデルと20世紀の論理学 (ロジック)

種類:
図書
責任表示:
田中一之編
出版情報:
東京 : 東京大学出版会, 2006.7-
著者名:
田中, 一之 <DA10709116>  
注記:
ゲーデル生誕100年を記念して刊行
欧文タイトルは標題紙裏による
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

田中, 一之

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

田中, 一之

東京大学出版会
2 図書 決定不能の論理パズル : ゲーデルの定理と様相論理

Smullyan, Raymond M., 1919-, 長尾, 確(1962-), 田中, 朋之(1962-)

白揚社
8 図書 ゲーデルの世界 : その生涯と論理

Casti, John L., 1943-, DePauli-Schimanovich, Werner, 増田, 珠子

青土社
3 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
9 図書 総合的研究論理学で学ぶ数学 : 思考ツールとしてのロジック

長岡, 亮介

旺文社
4 図書 数学のロジックと集合論

鈴木, 登志雄, 田中, 一之

培風館
10 図書 ゲーデル

竹内, 外史(1926-)

日本評論社
5 図書 21世紀の論理

大窪, 徳行, 和田, 和行(1949-), 江川, 晃

八千代出版
11 図書 20世紀の地理学者

竹内, 啓一(1932-), 杉浦, 芳夫(1950-)

古今書院
6 図書 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より

田中, 一之

シュプリンガー・フェアラーク東京
12 図書 20世紀の物理学

Pais, Abraham, 1918-2000, Pippard, A. B., Brown, Laurie M., 「20世紀の物理学」編集委員会

丸善