00582naa#a2200205#i#4500001002100000005001700021011001400038100004100052101000800093102000700101200007900108210005100187215001100238608002700249700002200276700002400298700002400322700001600346856001400362EN\INFRA-M\bibl\142420250428122440.1##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#azh-szf.ru