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