論理体系と代数モデル｜八千代出版株式会社

論理体系と代数モデル

青山　広／愛知非古典論理研究会　著
共著者
小寺平治／千谷慧子
税込価格：2310円
ISBN978-4-8429-1433-6
A5判／並製／ 190頁／ 2007年 3月発行

古典論理および非古典論理の代数モデルを使って、完全性定理の証明までを統一的に著わした日本初の内容。