"Mathematical Methods in Linguistics" - читать интересную книгу автора (Barbara B.H. Partee, A.G. ter Meulen, R. Wall)