スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
- 国立国会図書館請求記号
- MA41-J8
- 国立国会図書館書誌ID
- 000009382261
資料に関する注記
一般注記：
- 「決定不能の論理パズル」 (1990年刊) の改題新装版原タイトル: Forever undecided
書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
茨城県立図書館
紙- 請求記号：
- 410.9/ｽﾏ/
さいたま市立中央図書館
紙横浜市立図書館
紙- 請求記号：
- 410.9
- 図書登録番号：
- 2040933487
川崎市立図書館
紙- 請求記号：
- ４１０．９／スマ
静岡市立中央図書館
紙- 請求記号：
- 410.9-ｽ
- 図書登録番号：
- 123040825
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-8269-0142-0
- タイトルよみ
- スマリヤン ノ ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ リロン
- 著者・編者
- レイモンド・スマリヤン 著田中朋之, 長尾確 訳
- 著者標目
- 田中, 朋之, 1962- タナカ, トモユキ, 1962- ( 00204921 )典拠長尾, 確, 1962- ナガオ, カタシ, 1962- ( 00203760 )典拠
- 出版事項
- 出版年月日等
- 2008.5
- 出版年（W3CDTF）
- 2008
- 数量
- 281p