LDR 00583naa#a2200205#i#450# 001 EN\INFRA-M\bibl\1424 005 20241018061158.5 011 ## _a2075-4094 100 ## _a20141105b2014####ek#y0engy0150####ca 101 0# _aRUS 102 ## _aRU 200 1# _aOptimization of the Algebraic Model of Constructive Logic _eJournal article 210 1# _aMoscow _cINFRA-M Academic Publishing LLC. _d2014 215 ## _a10 с. 608 ## _aJournal article _2local 700 #1 _aKhromushin _gOleg 700 #1 _aKhromushin _gViktor 700 #1 _aDzasokhov _gAleksey 700 #1 _aBuchel _gV. 856 4# _anaukaru.ru _u