Крайзель Г. — Исследования по теории доказательств :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

Поиск по указателям

Крайзель Г. — Исследования по теории доказательств

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Исследования по теории доказательств

Автор: Крайзель Г.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1981

Количество страниц: 289

Добавлена в каталог: 14.05.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

О проекте