(NaZBUKA MATEMATI^ESKOJ LOGIKIs - (NmELXNIKOW(B,(Ng(B. (Np(B.s (NgENNADIJ pROKOPXEWI^s ((Nm(B.s (NzNANIEs, 1967)
Keywords: (NmATEMATI^ESKAQ LOGIKAs