書店で探す
目次
序 文 目次 第1章 自然言語 第2章 理論の完全性とわかりやすさ 第3章 表現可能性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論と現代的理論 第6章 形式化 第7章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学 本書で用いられる記号 参考文献 あとがき 索 引
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
東京都立中央図書館
紙- 410.9-5068-2012
- 7100356920
横浜市立図書館
紙- 410.9
- 2048681576
東海・北陸
福井県立図書館
紙- 410.9/モトハ
- 1015912361
愛知県図書館
紙- 410.9-モト-1041024
- 1110410240
名古屋市図書館
紙- 4109//
- 0235967866
書店で探す
出版書誌データベース から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-06-156506-7
- タイトルよみ
- コンド コソ ワカル ゲーデル フカンゼンセイ テイリ
- 著者・編者
- 本橋信義 著
- 著者標目
- 本橋, 信義, 1943- モトハシ, ノブヨシ, 1943- ( 00170624 )典拠
- 出版事項
- 出版年月日等
- 2012.3
- 出版年(W3CDTF)
- 2012
- 数量
- 161p