| Рабочие записи, 26.03.1957 Наброски 1957-го года.
Рабочие записи, 09.09.1979-17.11.1979К инвариантной теории алгоритмов.
Записка, 01.01.1983о тезисе Черча.
Рабочие записи, 01.12.1979Схемы, записи о свойствах алгебры.
Рабочие записи, 16.12.1980-29.12.1980Записи нескольких идей: спор с Гильбертом и об арифметическом подходе.
Рабочие записи, 20.12.1979Мысли к абстрактной теории алгоритмов.
Рабочие записи, 26.12.1979-08.01.1980Запись о какой-то книге, которая навсегда освобождает читателя от школярства. Идеи, гипотезы.
Список, 23.11.1979Вопросы С.С. Лаврова.
Рабочие записи, 07.01.1980о философии и об абстрактной теории вычислимости.
Рабочие записи, 25.01.1980по теории нумераций.
Рабочие записи, 03.02.1980Идеи для доклала об аксиоматическом построении класса вычислимых функций над абстрактными объектами.
Рабочие записи, 09.02.1980-10.02.1980Наброски для статьи или выступления.
Рабочие записи, 22.04.1980Идеи об абстрактной вычислимости.
Рабочие записи, 22.04.1980-16.09.1980Аксиоматика КО.
Рабочие записи, 10.05.1980Связь рекурсивных программ и КС-грамматик.
Рабочие записи, 18.05.1980об абстрактной вычислимости.
Рабочие записи, 20.06.1980сделанные на конференции по логике.
Рабочие записи, 28.09.1980Идея о выводимости детерминантов.
Рабочие записи, 17.12.1980о рекурсивных функциях.
Записки, 24.01.1982Идея - выпустить совместно с Успенским сборник "Вычислимость".
По порядку | По алфавиту | По дате |
