スマリヤン数理論理学講義 上巻
スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic. 上巻
- Call No. (NDL)
- MA41-L70
- Bibliographic ID of National Diet Library
- 028486663
Notes on use
Note (General)：
- 原タイトル: A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC
Detailed bibliographic record
Contents：
- 不完全性定理の理解のために(Provided by: 国立国会図書館蔵書)
Summary, etc.：
- 論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
- 田中一之 東北大学大学院理学研究科川辺治之 日本ユニシス株式会社(Provided by: 出版情報登録センター（JPRO）)
Search by Bookstore
Table of Contents
第I部 一般的な予備知識
第1章 数理論理学の起源
集合論／集合に対するブール演算／ベン図／ブール等式／問題の解答
第2章 無限集合
無限集合の大きさ／カントルの大発見／連続体問題／ベルンシュタイン-シュレーダーの定理／問題の解答
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/ｽｽ/1
- Book Registration Number：
- 124537929
山形県立図書館
Paper- Call No.：
- 410.96-ｽﾏ-1
- Book Registration Number：
- 106819283
福島県立図書館
Paper- Call No.：
- 410.96-ｽﾚ179-1
- Book Registration Number：
- 310370986
Kanto
埼玉県立久喜図書館
Paper- Call No.：
- 410.96-ｽﾏ
- Book Registration Number：
- 103086013
千葉県立西部図書館
Paper- Call No.：
- 41096/ 13/1
- Book Registration Number：
- 1102484857
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-78772-8
- Title
- Title Transcription
- スマリヤン スウリ ロンリガク コウギ
- Volume
- 上巻
- Author/Editor
- レイモンド・M・スマリヤン 著田中一之 監訳川辺治之 訳
- Author Heading
- 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )Authorities川辺, 治之 カワベ, ハルユキ ( 01137123 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2017.9
- Publication Date (W3CDTF)
- 2017