For citations:

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.)