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

Авторизация

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

Рыбаков В.В., Римацкий В.В. — Сохранение допустимости правил вывода в логиках, родственных S4.2

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

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

Название: Сохранение допустимости правил вывода в логиках, родственных S4.2

Авторы: Рыбаков В.В., Римацкий В.В.

Язык:

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

Тип: Статья

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

ed2k: ed2k stats

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

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

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

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

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

О проекте