Бесконечные арифметические формулы и принцип рефлексии. Н.В. Белякин; С.П. Одинцов; N. V. Beljakin; S. P. Odincov; N. V. Belǎkin; S. P. Odincov; N. V. Beljakin; S. P. Odincov — 1997 Algebra i Logika