исчисление предикатов третьего порядка Значения Примеры использования В начале слов сущ. мат. 三阶谓词演算 sān jiē wèicí yǎnsuàn + Добавить перевод