(NmATEMATI^ESKAQ LOGIKAs - (NlATOTIN l(B.(Na(B., (NmAKARENKOW `(B.(Na(B., (NnIKOLAEWA w(B.(Nw(B.s ((NmINSKs (NwY[\J[ [KOLAs, 1991)