(NwWEDENIE W MATEMATI^ESKU@ LOGIKU (B:s (NpER(B. (NS ANGL(B. /s - (NmENDELXSON(B, (N|LLIOTs; (NkABAKOW(B, (Nf(B.(Na(B.s; d ((NmOSKWA (B:s (NnAUKA(B,s, 1984)
Keywords: (NmATEMATI^ESKAQ LOGIKAs