図書

現代数理論理学入門 復刊

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

現代数理論理学入門

復刊

Call No. (NDL)
MA41-L67
Bibliographic ID of National Diet Library
028075744
Material type
図書
Author
J.N.クロスリー 他著ほか
Publisher
共立出版
Publication date
2017.4
Material Format
Paper
Capacity, size, etc.
185p ; 22cm
NDC
410.96
View All

Notes on use

Note (General):

原タイトル: What is Mathematical Logic?

Detailed bibliographic record

Summary, etc.:

大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説した入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受けより読みやすいA5版に拡大し単行本に改装...

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.

Kanto

Tokai-Hokuriku

Kinki

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

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-320-11318-3
Title Transcription
ゲンダイ スウリ ロンリガク ニュウモン
Author/Editor
J.N.クロスリー 他著
田中尚夫 訳
Edition
復刊
Author Heading
田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )Authorities
Publication, Distribution, etc.
Publication Date
2017.4
Publication Date (W3CDTF)
2017