predicate calculus Исчисление предикатов Источник: Англо-русский словарь морских терминов на Gufo.me Предложить изменения predicable predicate variable
