タブローの方法による論理学入門

書誌事項

タブローの方法による論理学入門

丹治信春著

朝倉書店, 1999.11

タイトル読み

タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン

大学図書館所蔵 件 / 99

内容説明・目次

内容説明

本書は、記号論理学を初めて学ぶ人のための教科書である。

目次

  • 第1部 命題論理(命題論理の記号言語;真理値分析とトートロジー;命題論理のタブロー;命題論理における健全性と完全性)
  • 第2部 述語論理(述語論理の記号言語;述語論理における真理値と妥当性;述語論理のタブロー;述語論理における健全性と完全性)

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BA4379611X
  • ISBN
    • 9784254500127
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    iv, 137p
  • 大きさ
    21cm
  • 分類
  • 件名
ページトップへ