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

Мат. logical formalization