документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Теоретические исследования Абстрактные вычисления Чтение литературы Рабочие записи

	Рабочие записи сделанные при чтении посмертной работы Дж. Эбрана "On the consistency of arithmetic". Дата: 16.12.1980- 17.12.1980 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Изображения страниц: 1 2 3 4 5 Назад Следующий документ (Рабочие записи) Предыдущий документ (Рабочие записи)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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