HIGHER PREDICATE CALCULUS Англо-русский перевод HIGHER PREDICATE CALCULUS исчисление предикатов высших порядков Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012