The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two

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