(NsLOVNOSTNYE PROBLEMY MATEMATI^ESKOJ LOGIKI (B:s (NsBORNIK NAU^NYH TRUDOW (B/s - (NkANOWI^(B, (NmAKS iOSIFOWI^s; (NkALININSKIJ GOSUDARSTWENNYJ UNIWERSITETs ((NkALININ (B:s (NkALININSKOGO GOS(B. (NUN(B-(NTA(B,s, 1985)
Keywords: (NmATEMATI^ESKAQ LOGIKAs