Open AccessModeling arithmetic in the first-order language enriched with temporal quantifiers
Author(s) -
Ekaterina Kotikova,
Mikhail Rybakov
Publication year - 2016
Publication title -
vestnik tverskogo gosudarstvennogo universiteta. seriâ prikladnaâ matematika
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk25
Subject(s) - arithmetic , computer science , order (exchange) , mathematics , linguistics , programming language , philosophy , finance , economics