Рыбаков В.В., Терзилер М., Римацкий В.В. — Описание базиса в полуредуцированной форме для правил вывода интуционистской логики :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

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

Рыбаков В.В., Терзилер М., Римацкий В.В. — Описание базиса в полуредуцированной форме для правил вывода интуционистской логики

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

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

Название: Описание базиса в полуредуцированной форме для правил вывода интуционистской логики

Авторы: Рыбаков В.В., Терзилер М., Римацкий В.В.

Язык:

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

Тип: Статья

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

ed2k: ed2k stats

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

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

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

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

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

О проекте