Курс "Семантические аспекты интуиционистской логики" в CS клубе. Лектор: Д.Д. Рогозин (ИППИ РАН, Serokell) Подробнее о курсе: