Jump to main content

図書

数学基礎論 増補版

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

数学基礎論 = Mathematical Logic

増補版

Call No. (NDL)
MA41-M32
Bibliographic ID of National Diet Library
031365579
Material type
図書
Author
新井敏康 著
Publisher
東京大学出版会
Publication date
2021.4
Material Format
Paper
Capacity, size, etc.
588p ; 22cm
NDC
410.9
View All

Notes on use

Note (General)：

初版: 岩波書店 2011年刊

Detailed bibliographic record

Summary, etc.：

予備知識を仮定せず，数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書，待望の増補版．不完全性定理の意義，算術的完全性定理，ロビンソンによるモデル完全性の初歩事項や演習問題なども追加し，より充実した内容に．(Provided by: 出版情報登録センター（JPRO）)

Author introduction：

新井　敏康 東京大学大学院数理科学研究科教授(Provided by: 出版情報登録センター（JPRO）)

Search by Bookstore

Search by Bookstore

Table of Contents

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

  • はじめに

  • 数学基礎論の問題構制

  • 本書の構成

  • I部　入門篇

  • 第1章　１階論理入門

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-ｱﾗｲ*ﾄ-2021
    Book Registration Number：
    10218039731
    青森県立図書館

  • 宮城県図書館

    Paper
    Call No.：
    410.9/2021.4
    Book Registration Number：
    1012028070
    宮城県図書館

Kanto

  • 富山県立図書館

    Paper
    Call No.：
    410.1/104/
    Book Registration Number：
    010180057
    富山県立図書館

  • 石川県立図書館

    Paper
    Call No.：
    410.9/ｱﾗ ｽ
    Book Registration Number：
    100638725
    石川県立図書館

  • 岐阜県図書館

    Paper
    Call No.：
    410.9-ｱ
    Book Registration Number：
    8135293511
    岐阜県図書館

  • 鳥取県立図書館

    Paper
    Call No.：
    410.9-ｱﾗｲ-一般
    Book Registration Number：
    121479657
    鳥取県立図書館

  • 岡山県立図書館

    Paper
    Call No.：
    410.9/ｱﾗ21/
    Book Registration Number：
    0015790173
    岡山県立図書館

  • 愛媛県立図書館

    Paper
    Call No.：
    410.9-アト-2021
    Book Registration Number：
    5106285773
    愛媛県立図書館

  • 高知県立図書館

    Paper
    Call No.：
    410.9-ｱﾗ
    Book Registration Number：
    1111141261
    高知県立図書館

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-13-062927-0
Title
数学基礎論
Title Transcription
スウガク キソロン
Author/Editor
新井敏康 著
Edition
増補版
Author Heading
著者 ： 新井, 敏康, 1958- アライ, トシヤス, 1958- ( 01177541 )Authorities
Publication, Distribution, etc.
東京 : 東京大学出版会 (出版)
Publication Date
2021.4
Publication Date (W3CDTF)
2021