| Рабочие записи, 06.09.1979-07.09.1979 сделанные при чтении книги В.А. Успенского "Лекции о вычислимых функциях".
Рабочие записи, 22.09.1979сделанные при чтении книги С. Клини "Введение в метаматематику".
Конспект статьи, 05.05.1980"Subrecursive Programming Languages, Part I: Efficiency and Program Structure" из журнала "Journal of the ACM", Vol. 19, No. 3. Авторы - R.L. Constable, A.B. Borodin.
Рабочие записи, 16.07.1980-18.08.1980сделанные при чтении работы Г. Крайзела "Some reasons for generalising recursion theory".
Рабочие записи, 19.08.1980-21.08.1980сделанные при чтении работы Д. Лакомба "Recursion theoretic structure for relational systems".
Рабочие записи, 06.12.1980-22.12.1980сделанные при чтении книги С. Клини "Математическая логика".
Рабочие записи, 14.12.1980-16.12.1980сделанные при чтении работ Геделя.
Рабочие записи, 16.12.1980-17.12.1980сделанные при чтении посмертной работы Дж. Эбрана "On the consistency of arithmetic".
Рабочие записи, 23.12.1980сделанные при чтении статьи А. Гейтинга "Тридцать лет спустя".
Рабочие записи, 03.01.1981сделанные при чтении статьи Роджерса.
Рабочие записи, 19.11.1979сделанные при чтении Б. Розена.
По порядку | По алфавиту | По дате |
