CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC

Описание

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

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

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

Издание

Журнал: DOKLADY AKADEMII NAUK SSSR

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

Номера страниц: 538-541

ISSN журнала: 00023264

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

Издатель: MEZHDUNARODNAYA KNIGA

Персоны

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