連言,選言および補名辞演算子を取り扱えるSyllogismの拡張体系とその完全性

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク