логическая формализация

Мат. logical formalization

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