Семантические аспекты интуиционистской логики, лекция 1 | Computer Science Club

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