English ⇄ Russian +

clausal logic stresses
IT	аппарат логических выражений (Alex Lilo); проф. клаузальная логика (форма логики, при которой все высказывания представляются с помощью логических операторов И, ИЛИ и НЕТ Alex Lilo)