Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Голованова Е. М.
Публикации в СМЖ:
Голованова Е. М.
Критерий допустимости правил вывода для некоторого класса $S4$-логик, не обладающих свойством ветвления
//
Том 44 (2003), Номер 4
, стр. 726–736
© Сибирский Математический Журнал, 2003-2006