Электронный каталог: Ершов, Юрий Леонидович - Об онтологии проблемно-ориентированых языков и теорий первого порядка