00635naa#a2200217#i#450# EN\INFRA-M\bibl\1424 /en/manage/index 20250907022604.7 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. fht.editorum.ru /en/manage/index