(NiSSLEDOWANIQ PO TEORII ALGORIFMOW I MATEMATI^ESKOJ LOGIKE (B/s - (NmARKOW(B, (Na(B.(Na(B.s; (NpETRI(B, (Nn(B.(Nw(B.s; (NwY^ISLITELXNYJ CENTR an sssrs ((NmOSKWA (B:s (Nan sssr(B. (Nwc(B,s, 1973)
(Nt(B. 1 (1973, 287 (NS(B.) :s (Nt(B. 2 (1976, 154 (NS(B.) :s
Keywords: (NmATEMATI^ESKAQ LOGIKAs