Об одном способе моделирования классической арифметики второй ступени Н.В. Белякин — 1983 Algebra i Logika
Нестандартный анализ и аксиома детерминированности Н.В. Белякин; 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
Бесконечные арифметические формулы и принцип рефлексии. Н.В. Белякин; С.П. Одинцов; N. V. Beljakin; S. P. Odincov; N. V. Belǎkin; S. P. Odincov; N. V. Beljakin; S. P. Odincov — 1997 Algebra i Logika