ADMISSION OF THE INHERENCE RULES WITH PARAMETERS FOR THE INTUITIONISTIC LOGICS AND THE INTUITIONISTIC KRIPKE MODELS

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

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

Журнал: DOKLADY AKADEMII NAUK SSSR

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

Номера страниц: 42-45

ISSN журнала: 00023264

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

Издатель: MEZHDUNARODNAYA KNIGA

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.