后继函数理论相关硕士博士期刊学术论文 - 搜论网

后继函数理论相关论文

量词消去法在完全理论证明中的应用

本文利用量词消去理论证明了后继函数理论是完全的。...

期刊

完全理论后继函数理论量词消去法模型论 elimination of quantifiers complete theory open formula

看过本文同时还关注