Logical equations and admissible rules of inference with parameters in modal provability logics : научное издание

Описание

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

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

Идентификатор DOI: 10.1007/BF00935600

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

Издание

Журнал: Studia Logica

Выпуск журнала: Т. 49, 2

Номера страниц: 215-239

ISSN журнала: 00393215

Издатель: Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.

Авторы

  • Rybakov V.V. (Mathematical Department of Krasnojarsk State University, pr. Svobodnyi 79)

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