Проблема Сократа. ИФЕ 2013, 28, 214–233.