PREDICATE CALCULUS Англо-русский перевод PREDICATE CALCULUS Логика первого порядка American English-Russian dictionary. Американский Англо-Русский словарь. 2012