С.Л. Кузнецов. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 3