書店で探す
目次
提供元：出版情報登録センター（JPRO）ヘルプページへのリンク
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
横浜市立図書館
紙- 請求記号：
- 410.9
- 図書登録番号：
- 2061151624
東海・北陸
岐阜県図書館
紙- 請求記号：
- 410.9-ゲ
- 図書登録番号：
- 8134786888
名古屋市図書館
紙- 請求記号：
- 41096//
- 図書登録番号：
- 0237105861
近畿
堺市立中央図書館
紙- 請求記号：
- 410.96/ｹﾝﾀ/9
- 図書登録番号：
- 114135866
奈良県立図書情報館
紙- 請求記号：
- 410.96-クロス
- 図書登録番号：
- 111308760
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-320-11318-3
- タイトル
- タイトルよみ
- ゲンダイ スウリ ロンリガク ニュウモン
- 著者・編者
- J.N.クロスリー 他著田中尚夫 訳
- 版
- 復刊
- 著者標目
- 田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )典拠
- 出版事項
- 出版年月日等
- 2017.4
- 出版年（W3CDTF）
- 2017