HIGHER PREDICATE CALCULUS


Англо-русский перевод HIGHER PREDICATE CALCULUS

исчисление предикатов высших порядков

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