00832naa#a2200181#i#450# RU\INFRA-M\bibl\19615 20240803082307.6 2500-0489 20171222b2017####ek#y0rusy0150####ca RUS RU Метод формализации научных теорий и его возможности Журнальная статья Москва Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М» 2017 16 с. Журнальная статья local Общие вопросы математических и естественных наук. 50 RUS Лебедев Сергей Александрович naukaru.ru