@article{DAN_1967_175_5_a0, author = {N. V. Beljakin}, title = {The completeness of an arithmetic}, journal = {Doklady Akademii Nauk}, pages = {975--977}, publisher = {mathdoc}, volume = {175}, number = {5}, year = {1967}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1967_175_5_a0/} }