Поиск в словарях
Logical semantics
математика
логическая семантика