タブローの方法による論理学入門
Author(s)
Bibliographic Information
タブローの方法による論理学入門
朝倉書店, 1999.11
- Title Transcription
-
タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン
Available at / 98 libraries
-
University of Tsukuba Library, Library on Library and Information Science
410.96:Ta-88000008570
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Description
本書は、記号論理学を初めて学ぶ人のための教科書である。
Table of Contents
- 第１部 命題論理（命題論理の記号言語；真理値分析とトートロジー；命題論理のタブロー；命題論理における健全性と完全性）
- 第２部 述語論理（述語論理の記号言語；述語論理における真理値と妥当性；述語論理のタブロー；述語論理における健全性と完全性）
by "BOOK database"