00565naa#a2200181#i#450# EN\INFRA-M\bibl\3457 20240521005507.2 2075-4094 20141105b2014####ek#y0engy0150####ca RUS RU The programm for highlighting the main components resulting in the algebraic model of constructive logic Journal article Moscow INFRA-M Academic Publishing LLC. 2014 4 с. Journal article local Khromushin Viktor Khromushin Oleg naukaru.ru