Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.评价结果

评估详情