"Logic, Language, and Computation, 6 conf" - читать интересную книгу автора (Balder D. ten Cate, Henk W. Zeevat)