(NpROEKTIROWANIE TESTOPRIGODNYH LOGI^ESKIH SHEM (B:s (NpER(B. (NS ANGL(B. /s - (NbENNETTS(B, (NrOBERT dV(B.s; (NdERBUNOWI^(B, (Nl(B.(Nw(B.s ((NmOSKWA (B:s (NrADIO I SWQZX(B,s, 1990)
(NbIBLIOGR(B.: (NS(B. 168-176s
R.G. Bennetts -
Keywords: (NlOGI^ESKIE SHEMY (B- (NpROEKTIROWANIEs