一种不依赖于递归定义的N上良序关系及其应用

孙济时 - 北京大学附属中学

作品分类：学术论文 / 理学 / 数学类 荣获奖项：2017登峰杯全国中学生学术科技创新大赛学术作品竞赛全国三等奖