Англійська ⇄ Іспанська Італійська Грецька Данська Есперанто Естонська Китайська Литовська Нідерландська Німецька Португальська Російська Українська Французька Фінська Шведська Японська +

propositional calculus
IT	обчислювання висловлювань; обчислення висловлювань; рахунок тверджень висловів; рахунок речень висловів