Лекция 5. С.Л. Кузнецов. Сохранение типа при бета-редукции. Интуиционистская логика высказываний…