Completeness Proofs for Propositional Logic with Polynomial-Time Connectives.评价结果

评估详情