Математическая логика и сложность вычислений. Лекция 10 (19.04.23)

Николай Константинович Верещагин — Курс лекций по математической логике и сложности вычислений.