Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал) - Ершов Ю. Л. Юрий Леонидович (Новосибирск, Изд-во ИМ СО РАН, 1986)