Search by Bookstore
Table of Contents
序論
第1章 証明の形式化
第2章 自然数論の無矛盾性の証明
第3章 自然数論の無矛盾性:Godelの考察
第4章 二階論理
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.
Tokai-Hokuriku
愛知県図書館
Paper- Call No.:
- 410.9-タケ-1009010
- Book Registration Number:
- 1110090104
名古屋市図書館
Paper- Call No.:
- 4109//
- Book Registration Number:
- 0235614658
Chugoku
鳥取県立図書館
Paper- Call No.:
- 410.9-タケウ-一般H
- Book Registration Number:
- 118177032
岡山県立図書館
Paper- Call No.:
- 410.9/タケ10/
- Book Registration Number:
- 0009888165
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
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
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-320-01935-5
- Title
- Title Transcription
- ショウメイロン ニュウモン
- Author/Editor
- 竹内外史, 八杉満利子 共著
- Edition
- 復刊
- Author Heading
- 竹内, 外史, 1926-2017 タケウチ, ガイシ, 1926-2017 ( 00080185 )Authorities八杉, 満利子, 1937- ヤスギ, マリコ, 1937- ( 00095542 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2010.6
- Publication Date (W3CDTF)
- 2010