Рабочие записи

сделанные при чтении книги В.А. Успенского "Лекции о вычислимых функциях".