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