高阶谓词逻辑

_

higher-order predicate logic, predicate logic of higher order