三阶谓词逻辑

_

predicate logic of the third order, third order predicate logic