劉路,中南大學數學科學與計算技術學院2008級本科生,在大學三年級時獨立解決了英國 ... 其論文名為"RT_2^2 does not imply WKL_0",發表在《符號邏輯 ...
確定! 回上一頁