中文:
单谓词
英文翻译:
【计】
singular predicate
中文:可算谓词英文翻译:【计】computable predicate...
中文:可分解谓词英文翻译:【计】resolvable predicate...
中文:可估价谓词英文翻译:【计】evaluable predicate...
中文:原始递归谓词英文翻译:【计】primitive recursive predicate...
中文:半可计算谓词英文翻译:【计】semi-computable predicatesemicomputable predicate...