@article{AL_1997_36_3_a0, author = {N. V. Beliakin and S. P. Odintsov}, title = {Infinite arithmetical formulas and the reflection principle}, journal = {Algebra i logika}, pages = {245--258}, publisher = {mathdoc}, volume = {36}, number = {3}, year = {1997}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1997_36_3_a0/} }