論理体系と代数モデル

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



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

目次


第１章：束論
第２章：ブール代数
第３章：古典論理
第４章：位相空間論の基礎
第５章：ハイティング代数
第６章：直観主義論理