(NmATEMATI^ESKAQ TEORIQ PROGRAMMIROWANIQ (B:s (NsOWETSKO(B-(NBOLGARSKIJ SBORNIK NAU^NYH TRUDOW (B/s - (NeR[OW(B, (NaNDREJ pETROWI^s ((NnOWOSIBIRSK (B:s (Nan sssr(B. (NsIB(B. (NOTD(B-(NNIE(B. (Nwc(B,s, 1985)
Keywords: (NmATEMATI^ESKAQ LOGIKAs; (NmATEMATI^ESKOE PROGRAMMIROWANIEs