図書

記号論理学

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

記号論理学

Call No. (NDL)
MA41-M54
Bibliographic ID of National Diet Library
033126597
Material type
図書
Author
山本新, 入江俊夫, 田村高幸 著
Publisher
朝倉書店
Publication date
2023.11
Material Format
Paper
Capacity, size, etc.
221p ; 21cm
NDC
410.96
View All

Detailed bibliographic record

Summary, etc.:

記号論理学の概説書。命題論理,述語論理,様相論理,直観主義論理の完全性までを扱う。(Provided by: 出版情報登録センター(JPRO))

Author introduction:

山本 新 山本 新  1949年生、前千葉大非常勤講師入江 俊夫 入江 俊夫  千葉大学助教田村 高幸 田村 高幸  東邦大学非常勤講師...

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.96/2023.Y
    Book Registration Number:
    1012558530
  • 福島県立図書館

    Paper
    Call No.:
    410.96-ヤシ23Y
    Book Registration Number:
    305619058

Kanto

  • 愛媛県立図書館

    Paper
    Call No.:
    410.96-キゴ-2023
    Book Registration Number:
    5106425439
  • 高知県立図書館

    Paper
    Call No.:
    410.96-キコ
    Book Registration Number:
    1112443054
  • 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-254-50038-7
Title Transcription
キゴウ ロンリガク
Author/Editor
山本新, 入江俊夫, 田村高幸 著
Author Heading
著者 : 山本, 新, 1949- ヤマモト, シン, 1949- ( 00166252 )Authorities
著者 : 入江, 俊夫, 1970- イリエ, トシオ, 1970- ( 033186681 )Authorities
著者 : 田村, 高幸, 1962- タムラ, タカユキ, 1962- ( 033186689 )Authorities
Publication, Distribution, etc.
Publication Date
2023.11
Publication Date (W3CDTF)
2023
Extent
221p