Для цитирования:

Галканов А.Г., Бастрон А.А. О некоторых аспектах определения понятий и доказательства теорем с применением законов математической логики. История и архивы. 2016;(1):14-21.

For citation:

Galkanov A., Bastron A. On some aspects of concepts definition and theorems proving with application of mathematical logic laws. History and Archives. 2016;(1):14-21. (In Russ.)