Г. В. Боков, “Неразрешимое суперинтуиционистское пропозициональное исчисление от трёх переменных”, Интеллектуальные системы. Теория и приложения, 19:3 (2015), 95–100