Search by Bookstore
Table of Contents
第1章 基本概念と表記法
1.1 証明入門
1.1.1 文と真理値表
1.1.2 数についてひと言
1.1.3 証明技法
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
静岡県立中央図書館
Paper- Call No.:
- 007.1/ハイ/
- Book Registration Number:
- 0022206379
Tokai-Hokuriku
愛知県図書館
Paper- Call No.:
- 007.1-ハイ-1021068
- Book Registration Number:
- 1110210688
Kinki
大阪市立図書館
Paper- Book Registration Number:
- 0012322038
奈良県立図書情報館
Paper- Call No.:
- 007.08-トクシ
- Book Registration Number:
- 111203056
和歌山県立図書館
Paper- Call No.:
- 007.1-ハイ-1
- Book Registration Number:
- 321733396
Search by Bookstore
Publication bibliographic database 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.
Find by another way
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.
- Material Type
- 図書
- ISBN
- 978-4-7981-2063-8
- Title
- Title Transcription
- ドクシュウ コンピュータ カガク キソ
- Volume
- 1
- Author/Editor
- James L.Hein 著神林靖 訳
- Author Heading
- 神林, 靖, 1958- カンバヤシ, ヤスシ, 1958- ( 00167180 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2011.6
- Publication Date (W3CDTF)
- 2011