(NmATEMATI^ESKAQ LOGIKA I TEORIQ ALGORITMOWs - (NiGO[IN w(B.(Ni(B.s ((NsARATOWs (NiZD(B-(NWO sARAT(B.(NUN(B-(NTAs, 1991)