Лекция 7 | Вероятностно проверяемые доказательства | Дмитрий Ицыксон | Лекториум