Англійська ⇄ Англійська Німецька Російська +

quantificational logic наголоси
мат.	логика предикатов
прогр.	предикатная логика (ssn)
Англійський тезаурус
quantificational logic
абрев.	predicate logic (ssn)