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

Авторизация

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

Руцкий А.Н. — Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN

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

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

Название: Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN

Автор: Руцкий А.Н.

Язык:

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

Тип: Статья

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

ed2k: ed2k stats

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

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

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

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

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

О проекте