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