目次
第１章 命題論理
第２章 論証の妥当性
第３章 述語論理
第４章 述語論理と真理の木
第５章 等号
第６章 関数記号
第７章 導出原理
第８章 方法の問題
第９章 決定不可能性
付録
著者等紹介
松原康夫［マツバラヤスオ］
１９７１年東北大学工学部応用物理学科卒業。１９７３年東北大学大学院修士課程修了。１９８６年文教大学専任講師。文教大学情報学部教授。工学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
