third order predicate logic

基本解释

• [数学]三阶谓词逻辑

专业释义

数学

• 三阶谓词逻辑