TY  JOUR
TI  Метод формализации научных теорий и его возможности
KW  наука
KW  метод
KW  математика
KW  метаматематика
KW  формализация.
JO  Журнал естественнонаучных исследований
AU  Лебедев, С.А.
PY  2017
IS  2
PB  Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»