(NpRQMAQ I OBRATNAQ TEOREMY (B:s (N|LEMENTY ALGEBRY LOGIKI (B/s - (NgRAD[TEJN(B, (Ni(B.(Ns(B.s ((NmOSKWA (B:s (NnAUKA(B. (NgL(B. (NRED(B. (NFIZ(B.-(NMAT(B. (NLIT(B.,s, 1972)
Keywords: (NtEOREMY (B- (NdOKAZATELXSTWOs; (NmATEMATI^ESKAQ LOGIKAs