Полный англо-русский словарь
Логическая вычислительная машина, вычислительная машина для решения логических задач