О канонических рекурсивных функциях и операциях Н.А. Шанин — 1979 Zapiski naucnych seminarov Leningradskogo
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике Н.А. Шанин — 1995 Zapiski naucnych seminarov POMI
О подмножествах натурального ряда чисел, обладающих плотностью Н.А. Шанин — 1952 Matematiceskij sbornik
Об иерархии конструктивных функционалов Брауэра Н.А. Шанин — 1974 Zapiski naucnych seminarov Leningradskogo