(NpQTAQ wSESO@ZNAQ KONFERENCIQ PO MATEMATI^ESKOJ LOGIKE(B, (NPOSWQ]ENNAQ (B70-(NLETI@ AKADEMIKA a(B.(Ni(B. (NmALXCEWA(B, (NnOWOSIBIRSK(B, 27-29 (NNOQBRQ (B1979 (NG(B.: (NtEZISY DOKLADOW (B/s - (NiN(B-(NT MATEMATIKI(B((NnOWOSIBIRSK(B)s; (NwSESO@ZNAQ KONFERENCIQ PO MATEMATI^ESKOJ LOGIKE(B, (NPOSWQ]ENNAQ (B75-(NLETI@ AKADEMIKA a(B.(Ni(B. (NmALXCEWA (B(5) (NnOWOSIBIRSK (B27-29 (NNOQBRQ (B1979 (NG(B.s ((NnOWOSIBIRSK (B:s (NiN(B-(NTA MATEMATIKI so an sssr(B,s, 1979)
Keywords: (NmATEMATI^ESKAQ LOGIKAs