"В.А.Успенский. Машина Поста ("Популярные лекции по математике", djvu, #54) " - читать интересную книгу автора