Архив
Теоретические исследования
Абстрактные вычисления
Чтение литературы
Рабочие записи
Рабочие записи
сделанные при чтении книги С. Клини "Введение в метаматематику".
Дата: 22.09.1979
Оригинальный язык документа: русский, английский
Авторы: Андрей Петрович Ершов
Персоналии: Стефен К. Клини

Изображения страниц:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18


Назад
Следующий документ (Конспект статьи)
Предыдущий документ (Рабочие записи)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016