Вычислимость и логика

Курс предназначен для студентов направления Computer Science.

Прочтения курса