On the scheme of induction for bounded arithmetic formulas.评价结果

评估详情