00618naa#a2200181#i#450# EN\INFRA-M\bibl\19615 20240813113550.2 2500-0489 20171222b2017####ek#y0engy0150####ca RUS RU Formalization method of scientific theories and its functions Journal article Moscow INFRA-M Academic Publishing LLC. 2017 16 с. Journal article local Общие вопросы математических и естественных наук. 50 RUS Lebedev Sergey Aleksandrovich naukaru.ru