00564naa#a2200181#i#450# EN\INFRA-M\bibl\3457 20250428124009.1 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 zh-szf.ru