(NoTRICATELXNYE WYSKAZYWANIQ (B/s - (NbRODSKIJ(B, (NiOSIF nUSIMOWI^s; (NlENINGRADSKIJ GOSUDARSTWENNYJ UNIWERSITET IM(B. (Na(B.(Na(B. (NvDANOWAs ((NlENINGRAD (B:s (NiZD(B-(NWO lENINGR(B. (NUN(B-(NTA(B,s, 1973)
Keywords: (NoTRICANIE W LOGIKEs; (NwYSKAZYWANIE (B((NLOG(B.)s