記号論理学

Author(s)

Bibliographic Information

記号論理学

山本新, 入江俊夫, 田村高幸著

朝倉書店, 2023.11

Title Transcription

キゴウ ロンリガク

Available at  / 65 libraries

Note

参考文献: p[218]-219

Description and Table of Contents

Table of Contents

  • 第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）
  • 第２章　命題論理（命題の記号化；論理式　ほか）
  • 第３章　述語論理（命題の記号化；限量記号の用法　ほか）
  • 第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）
  • 第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）
  • 補論１　ゲンツェンの論理体系
  • 補論２　様相論理への補論
  • 補論３　線形論理について

by "BOOK database"

Details

  • NCID
    BD04653318
  • ISBN
    • 9784254500387
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    ix, 221p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top