Terms for subject Logic containing primitive-recursive

English	Russian
primitive recursive arithmetic	примитивно-рекурсивная арифметика
primitive recursive predicate	примитивно-рекурсивный предикат
primitive recursive scheme	примитивно-рекурсивная схема