Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.评价结果

评估详情