目次
第１章 論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）
第２章 命題論理（命題の記号化；論理式 ほか）
第３章 述語論理（命題の記号化；限量記号の用法 ほか）
第４章 様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）
第５章 直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）
補論１ ゲンツェンの論理体系
補論２ 様相論理への補論
補論３ 線形論理について
著者等紹介
山本新［ヤマモトシン］
１９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任
入江俊夫［イリエトシオ］
１９７０年栃木県に生まれる。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士（文学）
田村高幸［タムラタカユキ］
１９６２年東京都に生まれる。現在、千葉大学大学院社会科学研究院助教。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
