スマリヤン数理論理学講義 下巻
スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic. 下巻
- Call No. (NDL)
- MA41-L89
- Bibliographic ID of National Diet Library
- 029202987
Notes on use
Note (General)：
- 原タイトル: A BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC
Detailed bibliographic record
Contents：
- 不完全性定理の先へ(Provided by: 国立国会図書館蔵書)
Summary, etc.：
- 機知に富む多くの著作で知られるスマリヤンの最後の著作。下巻には再帰的関数論、コンビネータ論理など進んだ話題を収める。(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
- 田中一之 東北大学大学院理学研究科川辺治之 日本ユニシス株式会社(Provided by: 出版情報登録センター（JPRO）)
Search by Bookstore
Table of Contents
第1部 命題論理と一階述語論理の進んだ話題
第1章 命題論理の進んだ話題
第2章 一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学
第3章 再帰的関数論、決定不能性、不完全性
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.
Northern Japan
秋田県立図書館
Paper- Call No.：
- 410.9/ｽｽ/2
- Book Registration Number：
- 123884991
山形県立図書館
Paper- Call No.：
- 410.96-ｽﾏ-2
- Book Registration Number：
- 106819291
福島県立図書館
Paper- Call No.：
- 410.96-ｽﾚ179-2
- Book Registration Number：
- 310370994
Kanto
埼玉県立久喜図書館
Paper- Call No.：
- 410.96-ｽﾏ
- Book Registration Number：
- 103162392
千葉県立西部図書館
Paper- Call No.：
- 41096/ 13/2
- Book Registration Number：
- 1102512156
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-535-78851-0
- Title
- Title Transcription
- スマリヤン スウリ ロンリガク コウギ
- Volume
- 下巻
- Author/Editor
- レイモンド・M・スマリヤン 著田中一之 監訳川辺治之 訳
- Author Heading
- 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )Authorities川辺, 治之 カワベ, ハルユキ ( 01137123 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2018.9
- Publication Date (W3CDTF)
- 2018