スマリヤン数理論理学 : 述語論理と完全性定理
スマリヤン数理論理学 : 述語論理と完全性定理
- 国立国会図書館請求記号
- MA41-L37
- 国立国会図書館書誌ID
- 025917967
資料に関する注記
一般注記：
- 原タイトル: Logical Labyrinthsの抄訳
資料詳細
要約等：
- スマリヤンの集大成（提供元: 出版情報登録センター（JPRO））
書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
秋田県立図書館
紙- 請求記号：
- 410.9/ｽｽ/
- 図書登録番号：
- 123423782
関東
埼玉県立久喜図書館
紙- 請求記号：
- 410.96-ｽｳ
- 図書登録番号：
- 102854338
千葉県立西部図書館
紙- 請求記号：
- 41096/ 11/
- 図書登録番号：
- 1102387352
東京都立中央図書館
紙- 請求記号：
- 410.9-5102-2014
- 図書登録番号：
- 7105005337
静岡県立中央図書館
紙- 請求記号：
- 410.96/ｽﾏ/
- 図書登録番号：
- 0022719041
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-621-08785-5
- タイトルよみ
- スマリヤン スウリ ロンリガク : ジュツゴ ロンリ ト カンゼンセイ テイリ
- 著者・編者
- Raymond Smullyan [著]高橋昌一郎 監訳村上祐子 訳
- 著者標目
- 高橋, 昌一郎, 1959- タカハシ, ショウイチロウ, 1959- ( 00383258 )典拠村上, 祐子, 1968- ムラカミ, ユウコ, 1968- ( 01009644 )典拠
- 出版事項
- 出版年月日等
- 2014.11
- 出版年（W3CDTF）
- 2014
- 数量
- 196p