記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。 【主な目次】 第1章　論理学とはなにか 第2章　命題論理 第3章　述語論理 第4章　様相論理 第5章　直観主義論理 補論1　ゲンツェンの論理体系 補論2　様相論理への補論 補論3　線形論理について