%0 Journal Article
%A E. A. Kotikova
%A M. N. Rybakov
%T Modeling arithmetic in the first-order language enriched with temporal quantifiers
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2016
%P 5-19
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VTPMK_2016_4_a0/
%G ru
%F VTPMK_2016_4_a0