Terms for subject Computers containing order logic

English	Russian
first-order logic	исчисление предикатов первого порядка
first order logic	логика первого порядка
second order logic	логика предикатов второго порядка
second order logic	логика второго порядка