Лекция 2 | Вычислимость и логика | Дмитрий Ицыксон | CSC | Лекториум