資料詳細
要約等：
- 還元法による証明論を初歩から解説した入門書（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
序論
第1章 証明の形式化
第2章 自然数論の無矛盾性の証明
第3章 自然数論の無矛盾性：Godelの考察
第4章 二階論理
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
東海・北陸
愛知県図書館
紙- 請求記号：
- 410.9-ﾀｹ-1009010
- 図書登録番号：
- 1110090104
名古屋市図書館
紙- 請求記号：
- 4109//
- 図書登録番号：
- 0235614658
中国
鳥取県立図書館
紙- 請求記号：
- 410.9-ﾀｹｳ-一般Ｈ
- 図書登録番号：
- 118177032
岡山県立図書館
紙- 請求記号：
- 410.9/ﾀｹ10/
- 図書登録番号：
- 0009888165
その他
CiNii Research
検索サービス紙連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-320-01935-5
- タイトル
- タイトルよみ
- ショウメイロン ニュウモン
- 著者・編者
- 竹内外史, 八杉満利子 共著
- 版
- 復刊
- 著者標目
- 竹内, 外史, 1926-2017 タケウチ, ガイシ, 1926-2017 ( 00080185 )典拠八杉, 満利子, 1937- ヤスギ, マリコ, 1937- ( 00095542 )典拠
- 出版事項
- 出版年月日等
- 2010.6
- 出版年（W3CDTF）
- 2010