многозначное пропозициональное исчисление
MANY-VALUED PROPOSITIONAL CALCULUS
Англо-русский перевод MANY-VALUED PROPOSITIONAL CALCULUS
Чибисова О.И., Смирнов Н.Н.. New English-Russian dictionary of biology. Новый Англо-Русский словарь по биологии. 2003