(NwOPROSY MATEMATI^ESKOJ LOGIKI I TEORII ALGORITMOW (B/s - (NnAGORNYJ(B, (NnIKOLAJ mAKAROWI^s; (NaKADEMIQ NAUK sssrs (NwY^ISLITELXNYJ CENTRs ((NmOSKWA (B:s (Nwc an sssr(B,s, 1988)
(NbIBLIOGR(B. (NW KONCE ST(B.s
Keywords: (NmATEMATI^ESKAQ LOGIKA (B- (NsBORNIKIs; (NaLGORITMY (B- (NsINTEZ (B- (NsBORNIKIs