A cut elimination theorem for stationary logic.评价结果

评估详情