(NmATEMATI^ESKOE OBESPE^ENIE SISTEM LOGI^ESKOGO WYWODA I DEDUKTIWNYH POSTROENIJ NA |wm (B:s (NsBORNIK NAU^NYH TRUDOW (B/s - (NkAPITONOWA(B, (N`LIQ wLADIMIROWNAs; (NaKADEMIQ NAUK ussrs; (NiNSTITUT KIBERNETIKI IM(B. (Nw(B.(Nm(B. (NgLU[KOWA an ussrs ((NkIEW (B:s (Nik(B,s, 1983)
(NbIBLIOGR(B. (NW KONCE ST(B.s
Keywords: (NkIBERNETIKA (B- (NsBORNIKIs; (NfORMALIZOWANNYE QZYKI (B- (NsBORNIKIs