(NoSNOWANIQ WREMENNOJ LOGIKIs - (NkARAWAEW |(B.(Nf(B.s ((NlENINGRADs (NiZ(B-(NWO LENINGRADSKOGO UNIWERSITETAs, 1983)