00583naa#a2200205#i#4500001002100000005001700021011001400038100004100052101000800093102000700101200007900108210005100187215001100238608002700249700002200276700002400298700002400322700001600346856001500362EN\INFRA-M\bibl\142420240917025839.2##a2075-4094##a20141105b2014####ek#y0engy0150####ca0#aRUS##aRU1#aOptimization of the Algebraic Model of Constructive LogiceJournal article1#aMoscowcINFRA-M Academic Publishing LLC.d2014##a10 с.##aJournal article2local#1aKhromushingOleg #1aKhromushingViktor #1aDzasokhovgAleksey #1aBuchelgV. 4#anaukaru.ru