semantic metalanguage

Мат. семантический метаязык