research
∙
09/14/2020
Decidability of the Multiplicative and Order Theory of Numbers
The ordered structures of natural, integer, rational and real numbers ar...
research
∙
09/15/2017