| |||
üst dil (Natalya Rovina) | |||
Russian thesaurus | |||
| |||
язык, средствами которого проводится описание структурных, дедуктивных или семантических свойств какого-либо другого обычно формализованного языка, являющегося предметом изучения соответствующей метатеории. Большой Энциклопедический словарь |