исчисление предикатов Лог. functional calculus, predicate calculus, predicative calculus Источник: Полный русско-английский словарь на Gufo.me Предложить изменения исчисление ошибок исчисление равенств
