(NdEDUKTIWNAQ I INDUKTIWNAQ LOGIKA (B:s (Nu^EBNIK (B/s - (NmINTO(B, (Nw(B.s ((NeKATERINBURG (B:s (NdELOWAQ KN(B. ;s (NbI[KEK (B:s (NoDISSEJ(B,s, 1997)