---

＜図書＞
ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳

出版者	東京 : 白揚社
出版年	1990.11
本文言語	日本語
大きさ	279p ; 22cm
著者標目	Smullyan, Raymond M., 1919- 長尾, 確(1962-) <ナガオ, カタシ> 田中, 朋之(1962-) <タナカ, トモユキ>
件　名	BSH:数学基礎論 NDLSH:ゲーデルの定理 FREE:Gödel, Kurt, 1906-1978
一般注記	原著(New York : A.Knopf, 1987)の全訳 索引: 巻末

 類似資料