論理体系と代数モデル

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

著者

青山　広、愛知非古典論理研究会

出版社

八千代出版

発売日

2007-03-01

価格

2,200円（税込・書誌情報提供：openBD）

ISBN

9784842914336

ページ数

190ページ

発売済み