SOUNDNESS THEOREM


Англо-русский перевод SOUNDNESS THEOREM

мат. теорема о семантической непротиворечивости

Big English-Russian dictionary .      Большой Англо-Русский словарь.