TY  - JOUR
AU  - E. A. Kotikova
AU  - M. N. Rybakov
TI  - Modeling arithmetic in the first-order language enriched with temporal quantifiers
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2016
SP  - 5
EP  - 19
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2016_4_a0/
LA  - ru
ID  - VTPMK_2016_4_a0
ER  -