00618naa#a2200193#i#4500001002100000003001700021005001700038011001400055100004100069101000800110102000700118200012600125210005100251215001000302608002700312700002400339700002200363856003900385EN\INFRA-M\bibl\3457/en/manage/index20250902224410.2##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#atest.editorum.ruu/en/manage/index