Terms for subject Makarov containing logic predicate

English	Russian
predicate logic language	язык, основанный на логике предикатов (как функции нескольких переменных)