Лекция 1. С.Л.Кузнецов. Генценовское исчисление для интуиционистской логики высказываний