Лекция 1. М.Р. Пентус. Синтаксическое исчисление Ламбека