Search by Bookstore
Table of Contents
序:論理学の基礎としての記号論 Ⅰ章:文論理(文論理とは何か/タブローの方法/自然演繹/論理計算LK/公理的方法) Ⅱ章:述語論理(述語論理とは何か/タブローの方法/自然演繹/論理計算LK/公理的方法) Ⅲ章:種々の論理(論理学の分類/様相論理/多値論理/ファジィ論理/帰納論理) Ⅳ章:日常言語への応用(伝統的論理/論理的な考え方)
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.:
- 116/オ/
- Book Registration Number:
- 0117351668
Kanto
千葉県立西部図書館
Paper- Call No.:
- 3316/ 148/
- Book Registration Number:
- 1102086671
東京都立中央図書館
Paper- Call No.:
- 116.0-5023-2007
- Book Registration Number:
- 5014164363
Kinki
滋賀県立図書館
Paper- Call No.:
- 3-1163-オ
- Book Registration Number:
- 141475764
京都府立図書館
Paper- Call No.:
- 116/N73
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-8429-1411-4
- Title
- Title Transcription
- 21セイキ ノ ロンリ
- Author/Editor
- 大窪徳行, 和田和行 編著江川晃, 大熊圭子, 小口裕史, 齋藤暢人, 福井謙一 [著]
- Author Heading
- 大窪, 徳行, 1937- オオクボ, トクユキ, 1937- ( 00155651 )Authorities和田, 和行, 1949- ワダ, カズユキ, 1949- ( 00192413 )Authorities江川, 晃, 1954- エガワ, アキラ, 1954- ( 00885429 )Authorities大熊, 圭子 オオクマ, ケイコ ( 00985245 )Authorities小口, 裕史 オグチ, ヒロフミ ( 01087390 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2007.3
- Publication Date (W3CDTF)
- 2007
- Extent
- 243p