(NiSSLEDOWANIQ PO MATEMATI^ESKOJ LOGIKE I TEORII ALGORITMOW (B:s [(NsBORNIK STATEJ(B] /s - (NmAGNARADZE(B, (Nl(B.(Ng(B.s ((NtBILISI (B:s (Nb(B.(NI(B.,s, 1975)
Keywords: (NmATEMATI^ESKAQ LOGIKAs