On the Decidability of the Ordered Structures of Numbers - Ziba Assadi; Saeed Salehi (2017)