(NiSSLEDOWANIQ PO TEORII ALGORIFMOW I MAMTEMATI^ESKOJ LOGIKEs ((NmOSKWAs (NnAUKAs, 1979)