図書

数理論理学 (現代基礎数学 ; 15)

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

数理論理学

(現代基礎数学 ; 15)

Call No. (NDL)
MA41-J25
Bibliographic ID of National Diet Library
000010592652
Material type
図書
Author
鹿島亮 著
Publisher
朝倉書店
Publication date
2009.10
Material Format
Paper
Capacity, size, etc.
210p ; 21cm
NDC
410.96
View All

Notes on use

Note (General)：

シリーズの編者: 新井仁之, 小島定吉, 清水勇二, 渡辺治

Detailed bibliographic record

Summary, etc.：

数理論理学の基本結果をわかりやすく正確に説明しながら，その意義や気持ちを伝える入門書。(Provided by: 出版情報登録センター（JPRO）)

Author introduction：

鹿島 亮 東工大(Provided by: 出版情報登録センター（JPRO）)

Search by Bookstore

Search by Bookstore

Table of Contents

  • 1. 証明を対象にするとは

  • 1.1 証明の実例

  • 1.2 証明における言葉遣い

  • 1.3 証明の前提と結論

  • 1.4 証明の本質の抽出

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.：
    ４１０．９６／ＳＵ
    Book Registration Number：
    1110511431
    北海道立図書館

  • 福島県立図書館

    Paper
    Call No.：
    410.8-ｹｱ06Z-15
    Book Registration Number：
    304938053
    福島県立図書館

Kanto

  • 石川県立図書館

    Paper
    Call No.：
    410.96/ｶｼ ｽ
    Book Registration Number：
    009595562
    石川県立図書館

  • 岐阜県図書館

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

  • 鳥取県立図書館

    Paper
    Call No.：
    410.9-ｶｼﾏ-一般Ｈ
    Book Registration Number：
    119163198
    鳥取県立図書館

  • 岡山県立図書館

    Paper
    Call No.：
    410.96/ｶｼ09/
    Book Registration Number：
    0009468968
    岡山県立図書館

  • 広島県立図書館

    Paper
    Call No.：
    410.9/109ｶ/
    Book Registration Number：
    1007157553
    広島県立図書館

  • Tokyo Tech Research Repository

    Paper
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    Tokyo Tech Research Repository

  • 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.
    Check the holdings of this book

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-254-11765-3
Title
数理論理学
Title Transcription
スウリ ロンリガク
Author/Editor
鹿島亮 著
Series Title
現代基礎数学 ; 15
Author Heading
鹿島, 亮 カシマ, リョウ ( 00541947 )Authorities
新井, 仁之, 1959- アライ, ヒトシ, 1959- ( 00851752 )Authorities
小島, 定吉, 1952- コジマ, サダヨシ, 1952- ( 00328991 )Authorities
清水, 勇二, 1958- シミズ, ユウジ, 1958- ( 00753925 )Authorities
Publication, Distribution, etc.
東京 : 朝倉書店
Publication Date
2009.10
Publication Date (W3CDTF)
2009