§ 21.2

Алгоритмически неразрешимые проблемы