00565naa#a2200181#i#4500001002100000005001700021011001400038100004100052101000800093102000700101200012600108210005100234215001000285608002700295700002400322700002200346856001500368EN\INFRA-M\bibl\345720251217132054.3##a2075-4094##a20141105b2014####ek#y0engy0150####ca0#aRUS##aRU1#aThe programm for highlighting the main components resulting in the algebraic model of constructive logiceJournal article1#aMoscowcINFRA-M Academic Publishing LLC.d2014##a4 с.##aJournal article2local#1aKhromushingViktor #1aKhromushingOleg 4#anaukaru.ru