Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
-
Date : 1403-04
Article type
Journal
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
×
https://people.iut.ac.ir/en/khani/content/1599443?view=qrcode