Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic.评价结果

评估详情