工学部OPAC

ようこそ  ゲスト さん

<図書>

ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ

決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳

データ種別 図書
出版者 東京 : 白揚社
出版年 1990.11
本文言語 日本語
大きさ 279p ; 22cm

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 資料区分 コメント ISBN 刷 年 利用注記
3F 書庫A
410.9||Sm8N J94041259 一般図書(日本語) - 図書
4826900449 1994.4
3F 書庫A
410.9||Sm8N||1997.2 J99011543 一般図書(日本語) - 図書
4826900449 1994.4

書誌詳細を非表示

別書名 原タイトル:Forever undecided : a puzzle guide to Godel
著者標目 Smullyan, Raymond M., 1919-
長尾, 確(1962-) <ナガオ, カタシ>
田中, 朋之(1962-) <タナカ, トモユキ>
件 名 NDLSH:ゲ-デルの定理
FREE:Godel, Kurt, 1906-1978
分 類 NDC8:410.9
NDC8:116.3
NDC8:410.96
書誌ID 1000037128
ISBN 4826900449
NCID BN05489989 WCLINK
巻冊次 ISBN:4826900449 ; PRICE:3500円

検索結果一覧に戻る ページトップ