Terms for subject Computers containing logic order

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