Jump to main content
図書

数理論理学とタイプ理論 : 証明による真理へ

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

数理論理学とタイプ理論 : 証明による真理へ

Call No. (NDL)
MA41-E4
Bibliographic ID of National Diet Library
000001896266
Persistent ID (NDL)
info:ndljp/pid/13612049
Material type
図書
Author
Peter B.Andrews 著ほか
Publisher
丸善
Publication date
1987.12
Material Format
Paper・Digital
Capacity, size, etc.
316p ; 22cm
NDC
410.96
View All

Notes on use

Note (General):

原タイトル: An introduction to mathematical logic and type theory

Search by Bookstore

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.

Northern Japan

  • 宮城県図書館

    Paper
    Call No.:
    410.1/ア1
    Book Registration Number:
    1001025194
  • 秋田県立図書館

    Paper
    Call No.:
    410.9/アス/
    Book Registration Number:
    120681218
  • 山形県立図書館

    Paper
    Call No.:
    116.3-アン
    Book Registration Number:
    102860327

Kanto

  • 岐阜県図書館

    Paper
    Call No.:
    410.1-ア
    Book Registration Number:
    8120271026
  • 愛知県図書館

    Paper
    Call No.:
    410.96-アン-401356
    Book Registration Number:
    1104013567
  • 名古屋市図書館

    Paper
    Call No.:
    4101/ロ/
    Book Registration Number:
    0210342259
  • Agriculture Library Information system - WebOPAC

    Search Service
    Paper
    You can check the holdings of institutions and databases with which Agriculture Library Information system - WebOPAC is linked at the site of Agriculture Library Information system - WebOPAC.
  • 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 Digital

Material Type
図書
ISBN
4-621-03224-0
Title Transcription
スウリ ロンリガク ト タイプ リロン
Author/Editor
Peter B.Andrews 著
小川原倫子 訳
Publication, Distribution, etc.
Publication Date
1987.12
Publication Date (W3CDTF)
1987
Extent
316p