DOORS（同志社大学図書館）

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

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
今出川図書館学外倉庫		401\|\|S89	901010961			予約			仮想書架	予約	仮想書架
理工学部情報系		401\|\|S89	932021492						仮想書架		仮想書架

書誌ID	BB00792120
本文言語	日本語
別書名	原タイトル:Forever undecided : a puzzle guide to Gödel
一般注記	原著(New York : A.Knopf, 1987)の全訳索引: 巻末
著者標目	Smullyan, Raymond M., 1919- 長尾, 確(1962-) <ナガオ, カタシ> 田中, 朋之(1962-) <タナカ, トモユキ>
件　名	BSH:数学基礎論 NDLSH:ゲーデルの定理 FREE:Gödel, Kurt, 1906-1978
分　類	NDC8:410.9 NDC8:116.3 NDC8:410.96 NDC7:410.1 NDLC:MA41
巻冊次	ISBN:4826900449 ; PRICE:3500円+税 RefWorks出力（各巻）
NCID	BN05489989

目次・あらすじ