開通VIP,暢享免費(fèi)電子書等14項(xiàng)超值服
首頁
好書
留言交流
下載APP
聯(lián)系客服
2016.09.22
對于公式的每一個ω相容的遞歸類k
相應(yīng)地有遞歸的類符號r
使得 v Gen r 或者Neg(v Gen r)
都不屬于Flg(k)
微信登錄中...請勿關(guān)閉此頁面