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

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