EXTENDED PROPOSITIONAL CALCULUS Англо-русский перевод EXTENDED PROPOSITIONAL CALCULUS расширенное пропозициональное исчисление New English-Russian biological dictionary . Новый Англо-Русский биологический словарь. 2007