Д.В. Гладкий

О распознавании замещаемости в рекурсивных языках, 5—22.

A.Д. Тайманов

Разрешимость элементарной теории включения сфер, 23—27.

М.А. Тайцлин

Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец, 29—51.