00617naa#a2200181#i#450# EN\INFRA-M\bibl\19615 20240703062414.3 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 zh-szf.ru