Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus : научное издание

Описание

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

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

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

Издание

Журнал: Annals of Pure and Applied Logic

Выпуск журнала: Т. 50, 1

Номера страниц: 71-106

ISSN журнала: 01680072

Издатель: Elsevier Science Publishing Company, Inc.

Авторы

  • Rybakov V.V. (Mathematical Department, Krasnojarsk State University, pr. Srobodnyi 79, Krasnojarsk, 660062, Russian Federation)

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