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