PROPOSITIONAL CALCULUS Англо-русский перевод PROPOSITIONAL CALCULUS лог. пропозициональное исчисление, исчисление высказываний Big English-Russian dictionary . Большой Англо-Русский словарь. 2012