>> Google Books
twitter facebook Hatena
More Services
タイトル、所在が表示されます

不完全性定理

フォーマット:
図書
責任表示:
ゲーデル [著] ; 林晋, 八杉満利子訳・解説
言語:
日本語
出版情報:
東京 : 岩波書店, 2006.9
形態:
309p ; 15cm
著者名:
シリーズ名:
岩波文庫 ; 青(33)-944-1 <BN00015783>
書誌ID:
BA78367288
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 不完全性定理の先へ

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
7 図書 数学基礎論

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
2 図書 ゲーデル・不完全性定理 : “理性の限界"の発見

吉永, 良正(1953-)

講談社
8 図書 証明論入門

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
3 図書 不完全性定理の理解のために

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
9 図書 不完全性定理

菊池, 誠(数学)

共立出版
4 図書 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

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

日本評論社
10 図書 ゲーデルの不完全性定理

結城, 浩

ソフトバンククリエイティブ
5 図書 文系のための記号論理入門 : 命題論理から不完全性定理まで

金子, 裕介

朝倉書店
11 図書 ゲーデルの不完全性定理

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

丸善
6 図書 証明論入門

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
12 図書 ゲーデルの世界 : 完全性定理と不完全性定理

広瀬, 健(1935-), 横田, 一正(1949-)

海鳴社