Terms containing predicate logic

Subject	English	Russian
math.	first-order predicate logic	логика предикатов первого порядка (ssn)
progr.	high-level language based on predicate logic	высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk)
progr.	logic predicate	булев предикат (ssn)
progr.	logic predicate	логический предикат (ssn)
IT	predicate logic	логика предикатов
Gruzovik, IT	predicate logic	логика исчисления предикатов
progr.	predicate logic	предикатная логика (ssn)
IT	predicate logic-based language	язык программирования, основанный на логике предикатов
IT	predicate logic-based language	язык программирования, основанный на логике предикатов
automat.	predicate logic language	язык, основанный на логике предикатов (как функций нескольких переменных)
IT	predicate logic language	язык программирования, основанный на логике предикатов
mech.	predicate logic language	язык основанный на логике предикатов
IT	predicate logic language	язык программирования, основанный на логике предикатов
Makarov.	predicate logic language	язык, основанный на логике предикатов (как функции нескольких переменных)
logic	predicate logic with equality	логика предикатов с равенством (Alex_Odeychuk)
math.	set predicate logic	теоретико-множественная логика предикатов
math.	set-theoretic predicate logic	теоретико-множественная логика предикатов