semantic formalism

Мат. семантический формализм