the first-order logic的意思|示意
美 / /
英 / /
一阶逻辑
the first-order logic相关短语
1、 the undecidability of first-order logic 一阶逻辑的不可判定性