Terms containing logic predicate

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)
Gruzovik, IT	predicate logic	логика исчисления предикатов
IT	predicate logic	логика предикатов
progr.	predicate logic	предикатная логика (ssn)
IT	predicate logic language	язык программирования, основанный на логике предикатов
IT	predicate logic language	язык программирования, основанный на логике предикатов
mech.	predicate logic language	язык основанный на логике предикатов
automat.	predicate logic language	язык, основанный на логике предикатов (как функций нескольких переменных)
Makarov.	predicate logic language	язык, основанный на логике предикатов (как функции нескольких переменных)
logic	predicate logic with equality	логика предикатов с равенством (Alex_Odeychuk)
IT	predicate logic-based language	язык программирования, основанный на логике предикатов
IT	predicate logic-based language	язык программирования, основанный на логике предикатов
math.	set predicate logic	теоретико-множественная логика предикатов
math.	set-theoretic predicate logic	теоретико-множественная логика предикатов