Английский ⇄ Английский Немецкий Русский +

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