部分递归谓词的英文翻译
中文：部分递归谓词
英文翻译：【计】 partial recursive predicate