(NtRETXQ wSESO@ZNAQ KONFERENCIQ PO MATEMATI^ESKOJ LOGIKE (B:s 23-27 (NI@NQ (B1974 (NG(B. : (NtEZISY DOKLADOW (B/s - (NwSESO@ZNAQ KONFERENCIQ PO MATEMATI^ESKOJ LOGIKEs (NnOWOSIBIRSK(B;s 1974) ((NnOWOSIBIRSK (B:s (Nb(B. (NI(B.,s, 1974)
(NbIBLIOGR(B. (NW KONCE ST(B.s
(NiNSTITUT MATEMATIKI so an sssrs
Keywords: (NmATEMATI^ESKAQ LOGIKAs