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.
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