(NfORMIROWANIE MATEMATI^ESKOJ LOGIKI (B/s - (NsTQVKIN(B, (NnIKOLAJ iWANOWI^(B.s; (NaKADEMIQ NAUK sssrs ((NmOSKWA (B:s (NnAUKA(B,s, 1967)
(NbIBLIOGR(B.: (NS(B. 456-505s
Keywords: (NmATEMATI^ESKAQ LOGIKA (B- (NrAZWITIEs