その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方
その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方
- Call No. (NDL)
- MA21-L357
- Bibliographic ID of National Diet Library
- 027713423
Notes on use
Note (General)：
- 原タイトル: How to prove it 原著第2版の翻訳
Detailed bibliographic record
Summary, etc.：
- 証明のプロセスをプログラミングのように構造化して提示した1冊。(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
Search by Bookstore
Table of Contents
第1章：命題論理
第2章：述語論理
第3章：証明
第4章：関係
第5章：関数
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-ﾍﾞﾙﾏﾝ*ﾀﾞ
- Book Registration Number：
- 10214856915
秋田県立図書館
Paper- Call No.：
- 410/ﾍﾞｿ/
- Book Registration Number：
- 123636359
Kanto
群馬県立図書館
Paper- Call No.：
- 410-ﾇ6Y
- Book Registration Number：
- 13377239
さいたま市立中央図書館
Paper- Call No.：
- 410 ﾍﾞﾙ
- Book Registration Number：
- 14102181469
千葉県立西部図書館
Paper- Call No.：
- 410/ 70/
- Book Registration Number：
- 1102454713
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-4099-5
- Title Transcription
- ソノ リクツ ショウメイ デキマスカ : タダシク メイダイ ニ タドリツク タメ ノ シュホウ ト シコウ ノ マナビカタ
- Author/Editor
- Daniel J.Velleman 著神林靖 訳
- Author Heading
- 神林, 靖, 1958- カンバヤシ, ヤスシ, 1958- ( 00167180 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2016.11
- Publication Date (W3CDTF)
- 2016
- Extent
- 451p