00582naa#a2200205#i#450# EN\INFRA-M\bibl\1424 20250123095256.4 2075-4094 20141105b2014####ek#y0engy0150####ca RUS RU Optimization of the Algebraic Model of Constructive Logic Journal article Moscow INFRA-M Academic Publishing LLC. 2014 10 с. Journal article local Khromushin Oleg Khromushin Viktor Dzasokhov Aleksey Buchel V. zh-szf.ru