(NmNOVESTWA(B. (NlOGIKA(B. (NaKSIOMATI^ESKIE TEORII (B:s (NpER(B. (NS ANGL(B. /s - (NsTOLL(B, (NrOBERT r(B.s; (NgASTEW(B, (N`(B.(Na(B.s; (N{MAIN(B, (Ni(B.(Nh(B.s; (N{IHANOWI^(B, (N`(B.(Na(B.s ((NmOSKWA (B:s (NpROSWE]ENIE(B,s, 1968)
Keywords: (NmNOVESTW TEORIQs; (NmATEMATI^ESKAQ LOGIKAs