一阶逻辑完备性定理的新代数证明
new
一阶逻辑完备性定理的新代数证明的英文翻译
基本释义
A new algebraic proof of completeness of first order logic
一阶逻辑完备性定理的新代数证明的相关资料:
临近单词
一
一个无法挽救的罪犯
目录
查词历史
英 汉