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)