Проблема остановки в теории алгоритмов и не только

Кристиан С. Калюд

Обложка: