Барвайс Дж. (ред.) — Справочная книга по математической логике. Теория доказательств :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

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

Барвайс Дж. (ред.) — Справочная книга по математической логике. Теория доказательств

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

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

Название: Справочная книга по математической логике. Теория доказательств

Автор: Барвайс Дж. (ред.)

Язык:

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

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

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

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

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

Предметный указатель

Язык высшего порядка (higher order language) 247

1 2

О проекте