Terms for subject Mathematics containing predicate logic

English	Russian
first-order predicate logic	логика предикатов первого порядка (ssn)
set predicate logic	теоретико-множественная логика предикатов
set-theoretic predicate logic	теоретико-множественная логика предикатов