(NfILOSOFSKIE WOPROSY SOWREMENNOJ FORMALXNOJ LOGIKI (B:s [(NsB(B. (NST(B.] /s - (NtAWANEC(B, (Np(B.(Nw(B.s; (NaKADEMIQ NAUK sssrs; (NiNSTITUT FILOSOFII an sssrs ((NmOSKWA (B:s (NiZD(B-(NWO an sssr(B,s, 1962)
(NbIBLIOGR(B. (NW KONCE ST(B.s
Keywords: (NfORMALXNAQ LOGIKA (B- (NfILOSOFSKIE PROBLEMY (B- (NsBORNIKIs; (NlOGIKA (B- (NfORMALIZACIQ (B- (NsBORNIKIs