(N~TO TAKOE MATEMATI^ESKAQ LOGIKA(B?s - (NkALUVNIN(B,(Nl(B. (Na(B.s (NlEW aRKADXEWI^s ((Nk(B.s, 1961)
Keywords: (NmATEMATI^ESKAQ LOGIKAs