Лекция 7 | Теория сложности доказательств | Эдуард Гирш | Лекториум