(NtEORIQ NEPRERYWNYH MODELEJs (NPER(B. (NS ANGL(B.s - (NkEJSLER(B,(Ng(B. (NdV(B.s; (N~\N(B,(N~(B.s (N~ENX(B-(N~UNXs ((Nm(B.s (NmIRs, 1971)
Keywords: (NmATEMATI^ESKAQ LOGIKAs