логика первого порядка

Мат. first-order logic

Источник: Полный русско-английский словарь на Gufo.me