the undecidability of first-order logic的意思|示意
美 / /
英 / /
一阶逻辑的不可定性
the undecidability of first-order logic的网络常见释义
一阶逻辑的不可判定性 ... second-order logic 二阶逻辑 the undecidability of first-order logic 一阶逻辑的不可判定性 third order predicate logic 三阶谓词逻辑 ...