記号論理学
出版社よりお取り寄せ（通常3日～20日で出荷）
※20日以内での商品確保が難しい場合、キャンセルさせて頂きます
記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。
【主な目次】
第1章 論理学とはなにか
第2章 命題論理
第3章 述語論理
第4章 様相論理
第5章 直観主義論理
補論1 ゲンツェンの論理体系
補論2 様相論理への補論
補論3 線形論理について
お気に入りカテゴリ
よく利用するジャンルを設定できます。
カテゴリ
「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。
