資料詳細

  • 1 件中、 1 件目

【図書】 タブローの方法による論理学入門

丹治信春 ／著   -- 朝倉書店 -- １９９９．１１ -- ２１ｃｍ -- １３７ｐ

資料詳細

タイトル タブローの方法による論理学入門
著者名等 丹治信春 ／著  
出版 朝倉書店 １９９９．１１
大きさ等 ２１ｃｍ １３７ｐ
分類 116.3
件名 記号論理学
内容 索引あり
要旨 本書は、記号論理学を初めて学ぶ人のための教科書である。
目次 第１部　命題論理（命題論理の記号言語；真理値分析とトートロジー；命題論理のタブロー；命題論理における健全性と完全性）；第２部　述語論理（述語論理の記号言語；述語論理における真理値と妥当性；述語論理のタブロー；述語論理における健全性と完全性）
ISBN(13)、ISBN 　　 4-254-50012-2
書誌番号 1199060350
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1199060350

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ５階人文科学 Map 116.3 一般書 利用可 - 2072324571 iLisvirtual

ページの先頭へ