翌日発送・記号論理学/山本新（１９４９ー）
3,520
出版社名：朝倉書店
著者名：山本新（１９４９ー）、入江俊夫、田村高幸
発行年月：2023年11月
キーワード：キゴウ ロンリガク、ヤマモト,シン、イリエ,トシオ、タムラ,タカユキ
著者名：山本新（１９４９ー）、入江俊夫、田村高幸
発行年月：2023年11月
キーワード：キゴウ ロンリガク、ヤマモト,シン、イリエ,トシオ、タムラ,タカユキ
内容情報
記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。
【主な目次】
第1章 論理学とはなにか
第2章 命題論理
第3章 述語論理
第4章 様相論理
第5章 直観主義論理
補論1 ゲンツェンの論理体系
補論2 様相論理への補論
補論3 線形論理について
