SKOLEM CONSTANT Англо-русский перевод SKOLEM CONSTANT сколемовская константа (ПРОЛОГ) Big English-Russian dictionary . Большой Англо-Русский словарь. 2012