Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Кияткин В. Р.
Публикации в СМЖ:
Кияткин В. Р.
Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике РМ1
//
Том 41 (2000), Номер 1
, стр. 88–97
© Сибирский Математический Журнал, 2003-2006