(NmATEMATI^ESKAQ LOGIKA I EE PRIMENENIE (B:s (NmATERIALY K SEMINARU (B/s - (NiNSTITUT MATEMATIKI I KIBERNETIKI an lITssrs ((NwILXN@S (B:s (Nb(B. (NI(B.s, 1991)
(NwYP(B. 4 (1985; 134 c. : (NIL(B.) :s (NaLGORITMI^ESKIE WOPROSY FORMALXNYH SISTEM(B;s (NwYP(B. 5 (1987; 132 c. : (NIL(B.) :s (NlOGI^ESKIE ASPEKTY INFORMATIKI (B;s (NwYP(B. 6 (1989; 117 c. : (NIL(B.) :s (NmATEMATI^ESKIE ASPEKTY KOMPX@TERNOJ LOGIKIs
(NbIBLIOGR(B. (NW KONCE ST(B.s
Keywords: (NmATEMATI^ESKAQ LOGIKAs -- (NsBORNIKs