(N|LEMENTY MATEMATI^ESKOJ LOGIKI (B/s - (NmARKOW(B, (NaNDREJ aNDREEWI^s; (NdRAGALIN(B, (Na(B.(Ng(B.s ((NmOSKWA (B:s (NiZD(B-(NWO mgu(B,s, 1984)
Keywords: (NmATEMATI^ESKAQ LOGIKAs