The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
ميدان اعداد حقيقي به همراه يك محمول براي اعداد حقيقي جبري و يك محمول براي توانهاي صحيح عدد 2
Article type
Journal
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
ميدان اعداد حقيقي به همراه يك محمول براي اعداد حقيقي جبري و يك محمول براي توانهاي صحيح عدد 2