Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 2 (1999), pp. 12-16
Citer cet article
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/
@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},
year = {1999},
number = {2},
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
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
%U http://geodesic.mathdoc.fr/item/UZERU_1999_2_a1/
%G ru
%F 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