Terms for subject Mathematics containing order logic

English	Russian
first-order logic	первопорядковая логика (vitalinew)
first-order logic	логика предикатов первого порядка (= first-order predicate logic ssn)
first-order logic	логика первого порядка
first-order predicate logic	логика предикатов первого порядка (ssn)
logic of higher order	логика высшего порядка
order logic	упорядоченная логика