Дюбко ГФ, Дзёх МЮ, Преснякова ДВ. SOME ASPECTS OF FORMALIZATION OF THE DEFINITION DICTIONARY WITH APPLICATION λ-CALCULATION. EEJET [Internet]. 2010Jul.30 [cited 2024Apr.27];4(2(46):4-8. Available from: https://journals.uran.ua/eejet/article/view/2919