second-order logic

名词 n.
中文释义

英文释义

名词 n.
  1. A formal system which extends first-order logic by allowing quantification over relations between members of the universe. uncountable,usually

词形变化

second-order logics plural
0 次浏览 数据来源: Wiktionary