Jump to main content

図書

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

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-L89
Bibliographic ID of National Diet Library
029202987
Material type
図書
Author
レイモンド・M・スマリヤン 著ほか
Publisher
日本評論社
Publication date
2018.9
Material Format
Paper
Capacity, size, etc.
312p ; 22cm
NDC
410.96
View All

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

Search by Bookstore

Table of Contents

Provided by：出版情報登録センター（JPRO）Link to Help Page

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

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/ｽｽ/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

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-78851-0
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
2018.9
Publication Date (W3CDTF)
2018