Blank Cover Image

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

フォーマット:
図書
責任表示:
田中一之編
出版情報:
東京 : 東京大学出版会, 2006.7-2007.7
形態:
4冊 ; 22cm
著者名:
田中, 一之 <DA10709116>  
書誌ID:
BA77788892
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

田中, 一之

東京大学出版会
7 図書 計算理論と数理論理学 = Mathematics of logic and computation

田中, 一之

共立出版
2 図書 ロジックの世界 : 論理学の哲人たちがあなたの思考を変える

Cryan, Dan, Shatil, Sharron, Mayblin, Bill, 田中, 一之

講談社
8 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
3 図書 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中, 一之

裳華房
9 電子ブック 完全性定理とモデル理論

田中, 一之

東京大学出版会
4 図書 ゲーデルに挑む : 証明不可能なことの証明

田中, 一之

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

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

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

Franzén, Torkel, 田中, 一之

みすず書房
11 電子ブック 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

田中, 一之, バラマツ, ヒトミ

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

田中, 一之

シュプリンガー・フェアラーク東京
12 図書 数の体系と超準モデル

田中, 一之

裳華房