図書
Image

数学基礎論序説 : 数の体系への論理的アプローチ

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

数学基礎論序説 = LOGICAL FOUNDATIONS OF MATHEMATICS : 数の体系への論理的アプローチ

Call No. (NDL)
MA41-M9
Bibliographic ID of National Diet Library
029713426
Material type
図書
Author
田中一之 著
Publisher
裳華房
Publication date
2019.6
Material Format
Paper
Capacity, size, etc.
374p ; 22cm
NDC
410.9
View All

Detailed bibliographic record

Summary, etc.:

数学基礎論の入門から最先端までを大胆な構成と精緻な記述で探る。21世紀の数学基礎論を切り開く力作。(Provided by: 出版情報登録センター(JPRO))

Author introduction:

田中 一之 1955年 東京都に生まれる。東京工業大学理学部卒業、カリフォルニア大学バークレー校博士課程修了、Ph.D.(数学)。現在 東北大学大学院理学研究科数学専攻教授。(Provided by: 出版情報登録センター(JPRO))

Search by Bookstore

Table of Contents

  • まえがき

  • はじめに

  • 数学基礎論からロジックへ

  • 数学基礎論のルネサンス

  • 本書の構成

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

Kinki

Chugoku

  • 鳥取県立図書館

    Paper
    Call No.:
    410.9-タナカ-一般
    Book Registration Number:
    120949601
  • 岡山県立図書館

    Paper
    Call No.:
    410.9/タナ19/
    Book Registration Number:
    0015068828
  • 広島県立図書館

    Paper
    Call No.:
    410.9/119タ/
    Book Registration Number:
    1007881863

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-7853-1575-7
Title Transcription
スウガク キソロン ジョセツ
Author/Editor
田中一之 著
Author Heading
田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )Authorities
Publication, Distribution, etc.
Publication Date
2019.6
Publication Date (W3CDTF)
2019
Extent
374p