(NiSSLEDOWANIQ PO FORMALIZOWANNYM QZYKAM I NEKLASSI^ESKIM LOGIKAM (B/s - (NbO^WAR(B, (Nd(B. (Na(B.s ((NmOSKWA (B:s (NnAUKA(B,s, 1974)
Keywords: (NmATEMATI^ESKAQ LINGWISTIKAs