現代数理論理学入門 復刊
現代数理論理学入門
復刊
- Call No. (NDL)
- MA41-L67
- Bibliographic ID of National Diet Library
- 028075744
Notes on use
Note (General)：
- 原タイトル: What is Mathematical Logic?
Detailed bibliographic record
Summary, etc.：
- 大学初年級の数学的思考を経験した人を対象に，現代数理論理学がどのような内容のものかを解説した入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました。この度，多くの読者からの要望を受けより読みやすいＡ5版に拡大し単行本に改装...
Search by Bookstore
Table of Contents
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
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
- Book Registration Number：
- 2061151624
Tokai-Hokuriku
岐阜県図書館
Paper- Call No.：
- 410.9-ゲ
- Book Registration Number：
- 8134786888
名古屋市図書館
Paper- Call No.：
- 41096//
- Book Registration Number：
- 0237105861
Kinki
堺市立中央図書館
Paper- Call No.：
- 410.96/ｹﾝﾀ/9
- Book Registration Number：
- 114135866
奈良県立図書情報館
Paper- Call No.：
- 410.96-クロス
- Book Registration Number：
- 111308760
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-11318-3
- Title
- Title Transcription
- ゲンダイ スウリ ロンリガク ニュウモン
- Author/Editor
- J.N.クロスリー 他著田中尚夫 訳
- Edition
- 復刊
- Author Heading
- 田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2017.4
- Publication Date (W3CDTF)
- 2017