(NsPRAWO^NAQ KNIGA PO MATEMATI^ESKOJ LOGIKE(B. (Nw (B4-(NH ^ASTQH(B. (N~(B.2.(NtEORIQ MNOVESTWs - (NkANOWEQ w(B.(Ng(B.s ((NmOSKWAs (NnAUKAs, 1982)