記号論理学

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

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

出版社

朝倉書店

発売日

2023-11-08

ページ数

240ページ

ISBN

9784254500387