DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC

Описание

Тип публикации: статья из журнала

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

Ссылки на полный текст

Издание

Журнал: MATHEMATICS OF THE USSR-IZVESTIYA

Выпуск журнала: Vol. 50, Is. 3

Номера страниц: 589-608

ISSN журнала: 00255726

Место издания: PROVIDENCE

Издатель: AMER MATHEMATICAL SOC

Авторы

Вхождение в базы данных