(NwWEDENIE W MATEMATI^ESKU@ LOGIKUs (NPER(B. (NS ANGL(B.s - (NmENDELXSON(B,(N|(B.s (N|LLIOTs ((Nm(B.s (NnAUKAs, 1984)
Keywords: (NmATEMATI^ESKAQ LOGIKAs