true predicate
计 真谓词… Read the rest
计 真谓词… Read the rest
计 高阶谓词演算… Read the rest
计 可分解谓词… Read the rest
计 部分递归谓词… Read the rest
计 范围谓词… Read the rest
计 二阶谓词演算… Read the rest
计 零位谓词… Read the rest
计 刁番图谓词… Read the rest
计 可估价谓词… Read the rest
计 全谓词… Read the rest