Angielski ⇄ Rosyjski +

two-valued predicate calculus akcenty
log.	двузначное исчисление предикатов; классическое исчисление предикатов
mat.	двузначное исчисление предикатов (классическое)