Поиск в словарях
Formal semantics
математика
формальная семантика