Ну что сказать, мутота. Книга для людей с математическим образованием. Отдельные лучи поноса за предложение доказать великую теорему Ферма. Я, блин, ее несколько недель доказывал, задание же, потом бросил на хрен эту книгу. Откуда было знать студенту первого курса, да еще и не математику и не программисту, что ее нереально обычному человеку доказать. Зачем нужно вводить какую-то машину, на которой будут выполняться все примеры в книге? Реальных машин мало? Вся эта попытка построить строгую теорию программирования мало кому нужна, т.к. программеры в первую очередь практики, а не теоретики.