Нестандартный анализ и аксиома детерминированности Н.В. Белякин; N.V. Beljakin — 1993 Algebra i Logika
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием Н.В. Белякин; N.V. Beljakin; N.V. Belǎkin; N.V. Beljakin — 1963 Algebra i Logika
Об одной полной системе классической арифметики Н.В. Белякин; N.V. Beljakin; N.V. Belâkin; N.V. Beljakin — 1967 Algebra i Logika