Проблема остановки в теории алгоритмов и не только
Кристиан С. Калюд
Обложка: