first-order logic Мат. логика первого порядка Источник: Полный англо-русский словарь на Gufo.me Предложить изменения first-order level first-order loop
