@article{Lebedev2017formalization,
author={Lebedev, S.A.},
title={Formalization method of scientific theories and its functions},
journal={Journal of Natural Sciences Research},
publisher={INFRA-M Academic Publishing LLC.},
year={2017},
pages={13-29},
volume={2},
issue={4},
}