The real-algebraic structure of Scott's model of intuitionistic analysis.评价结果

评估详情