Search by Bookstore
Read this material in an accessible format.
Under production: We are currently producing a version of this material in an accessible format.
Table of Contents
序 文 目次 第1章 自然言語 第2章 理論の完全性とわかりやすさ 第3章 表現可能性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論と現代的理論 第6章 形式化 第7章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学 本書で用いられる記号 参考文献 あとがき 索 引
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Kanto
東京都立中央図書館
Paper- Call No.：
- 410.9-5068-2012
- Book Registration Number：
- 7100356920
横浜市立図書館
Paper- Call No.：
- 410.9
- Book Registration Number：
- 2048681576
Tokai/Hokuriku
福井県立図書館
Paper- Call No.：
- 410.9/ﾓﾄﾊ
- Book Registration Number：
- 1015912361
愛知県図書館
Paper- Call No.：
- 410.9-ﾓﾄ-1041024
- Book Registration Number：
- 1110410240
名古屋市図書館
Paper- Call No.：
- 4109//
- Book Registration Number：
- 0235967866
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Read in Disability Resources
- Other Services
- 音声DAISY check it on サピエ図書館資料検索 （ロゴス点字図書館）
Under production: We are currently producing a version of this material in an accessible format.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-06-156506-7
- Title
- Title Transcription
- コンド コソ ワカル ゲーデル フカンゼンセイ テイリ
- Author/Editor
- 本橋信義 著
- Author Heading
- 本橋, 信義, 1943- モトハシ, ノブヨシ, 1943- ( 00170624 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2012.3
- Publication Date (W3CDTF)
- 2012
- Extent
- 161p