免费人妻中文不卡无码_日本精品爽爽van在线_久久精品国产99久久丝袜蜜桃_女强人被春药精油按摩bd电影

有限結(jié)合系與有限群（Ⅰ）
強不可接近基數(shù)上P（K）的插入定理
關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題
模型的并、積與齊次模型
自由群內(nèi)方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學(xué)發(fā)展漫談
多個一元關(guān)系上的Vaught猜想
無原子布氏代數(shù)理論的計算復(fù)雜性
利用計算機計算古典數(shù)論問題
康托爾實數(shù)的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復(fù)雜度
可計算實數(shù)及其在判定問題上的應(yīng)用 有限結(jié)合系與有限群（Ⅰ）
強不可接近基數(shù)上P（K）的插入定理
關(guān)于代數(shù)系統(tǒng)自同構(gòu)群的一個問題
模型的并、積與齊次模型
自由群內(nèi)方程的討論
可換群中無限生成元直和項消去條件的探討
計算機科學(xué)發(fā)展漫談
多個一元關(guān)系上的Vaught猜想
無原子布氏代數(shù)理論的計算復(fù)雜性
利用計算機計算古典數(shù)論問題
康托爾實數(shù)的局限性
非良基集合論模型悖論
完全二叉樹的量詞消去
完全二叉樹理論的計算復(fù)雜度
可計算實數(shù)及其在判定問題上的應(yīng)用
可數(shù)齊次模型的模型數(shù)
自由群的τ-理論是不可判定的
可換群理論的計算復(fù)雜性
實數(shù)加法的正式子的計算復(fù)雜性
有限系統(tǒng)上的函數(shù)與泛函數(shù)
數(shù)論中的多項式時間可計算算法
在計算機科學(xué)中去掉無限
沒有等號的有限模型論
計算實數(shù)函數(shù)的圖靈機的穩(wěn)定性
用ω-圖靈機計算實數(shù)函數(shù)
非標(biāo)準(zhǔn)數(shù)論的新定理
論文和著作目錄
后記