図書

スマリヤン数理論理学講義 上巻

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic. 上巻

Call No. (NDL)
MA41-L70
Bibliographic ID of National Diet Library
028486663
Material type
図書
Author
レイモンド・M・スマリヤン 著ほか
Publisher
日本評論社
Publication date
2017.9
Material Format
Paper
Capacity, size, etc.
363p ; 22cm
NDC
410.96
View All

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

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.

List of Cooperating Institutions and Databases

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.1/98/1
    Book Registration Number：
    009567769
    富山県立図書館

  • 石川県立図書館

    Paper
    Call No.：
    410.96/ｽﾏ ｽ/1
    Book Registration Number：
    009600248
    石川県立図書館

  • 福井県立図書館

    Paper
    Call No.：
    410.9/ｽﾏﾘ
    Book Registration Number：
    1016519835
    福井県立図書館

  • 愛知県図書館

    Paper
    Call No.：
    410.96-ｽﾏ-1142270
    Book Registration Number：
    1111422700
    愛知県図書館

  • 名古屋市図書館

    Paper
    Call No.：
    41096//
    Book Registration Number：
    0237198700
    名古屋市図書館

Search by Bookstore

Publication bibliographic database Books 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.

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.

Paper

Material Type
図書
ISBN
978-4-535-78772-8
Title
スマリヤン数理論理学講義
Title Transcription
スマリヤン スウリ ロンリガク コウギ
Volume
上巻
Author/Editor
レイモンド・M・スマリヤン 著
田中一之 監訳
川辺治之 訳
Author Heading
Smullyan, Raymond M, 1919-2017 ( 00457034 )Authorities
田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )Authorities
川辺, 治之 カワベ, ハルユキ ( 01137123 )Authorities
Publication, Distribution, etc.
東京 : 日本評論社
Publication Date
2017.9
Publication Date (W3CDTF)
2017