(NiSSLEDOWANIQ PO TEORII ALGORIFMOW I MATEMATI^ESKOJ LOGIKE (B/s - (NmARKOW(B, (Na(B.(Na(B.s; (NhOMI^(B, (Nw(B.(Ni(B.s; (NwY^ISLITELXNYJ CENTR an sssrs ((NmOSKWA (B:s (Nan sssr(B. (Nwc(B,s, 1979)
Keywords: (NmATEMATI^ESKAQ LOGIKAs