TY  JOUR
TI  Formalization method of scientific theories and its functions
KW  science
KW  method
KW  mathematics
KW  metamathematics
KW  formalization.
JO  Journal of Natural Sciences Research
AU  Lebedev, S.A.
PY  2017
IS  2
PB  INFRA-M Academic Publishing LLC.