谓词元逻辑 на русском wèicí yuán luójí Значения Примеры использования В начале слов Сегментирование сущ. мат. металогика предикатов + Добавить перевод