LDR 00565naa#a2200181#i#450# 001 EN\INFRA-M\bibl\3457 005 20241229005106.7 011 ## _a2075-4094 100 ## _a20141105b2014####ek#y0engy0150####ca 101 0# _aRUS 102 ## _aRU 200 1# _aThe programm for highlighting the main components resulting in the algebraic model of constructive logic _eJournal article 210 1# _aMoscow _cINFRA-M Academic Publishing LLC. _d2014 215 ## _a4 с. 608 ## _aJournal article _2local 700 #1 _aKhromushin _gViktor 700 #1 _aKhromushin _gOleg 856 4# _anaukaru.ru _u