A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク