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