論理体系と代数モデル

著者 : 青山広 愛知非古典論理研究会

• 八千代出版 (2007年9月1日発売)

作品紹介・あらすじ

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