(NwWEDENIE W FORMALXNU@ LOGIKUs (NU^EBNOE POSOBIE DLQ STUDENTOW GUMANITARNYH SPECIALXNOSTEJs - (NpANI^(B, (Na(B. (No(B.s; (NdONECKIJ NACIONALXNYJ UNIWERSITETs (NdONECKIJ GUMANITARNYJ INSTITUTs ((NdONECKs (NdONgi dOnus, 2002)