Voir la notice de l'article provenant de la source Math-Net.Ru
@article{UZERU_1999_2_a1, author = {A. A. Mashuryan and G. R. Asatrian}, title = {About classification of arithmetical formulas on the basis of classification of $M$-arithmetics}, journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences}, pages = {12--16}, publisher = {mathdoc}, number = {2}, year = {1999}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/UZERU_1999_2_a1/} }
TY - JOUR AU - A. A. Mashuryan AU - G. R. Asatrian TI - About classification of arithmetical formulas on the basis of classification of $M$-arithmetics JO - Proceedings of the Yerevan State University. Physical and mathematical sciences PY - 1999 SP - 12 EP - 16 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/UZERU_1999_2_a1/ LA - ru ID - UZERU_1999_2_a1 ER -
%0 Journal Article %A A. A. Mashuryan %A G. R. Asatrian %T About classification of arithmetical formulas on the basis of classification of $M$-arithmetics %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 1999 %P 12-16 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_1999_2_a1/ %G ru %F UZERU_1999_2_a1
A. A. Mashuryan; G. R. Asatrian. About classification of arithmetical formulas on the basis of classification of $M$-arithmetics. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 2 (1999), pp. 12-16. http://geodesic.mathdoc.fr/item/UZERU_1999_2_a1/
[1] E. Mendelson, Introduction to Mathematical Logic, D. Van Nostrand Company, Inc. | MR | Zbl
[2] A. C. Mashuryan, “Neprotivorechivost nekotorykh teorii pervogo poryadka”, Mezhvuz. sb., EGU:Matematika, 1985, no. 3
[3] A. S. Mashuryan, “Polya series and representability of functions in finite models of some arithmetical theories”, Journal of contemporary math. analysis. Armenian Acad. of Sci., 30:1 (1995) | MR
[4] A. C. Mashuryan, “M-arifmetiki i ikh modeli”, Uch. zapiski EGU, 1998, no. 1