"Формальная грамматика и интенсиональная логика" - читать интересную книгу автора (Герасимова И.А.)