SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT

Описание

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

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

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

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

Издание

Журнал: MATHEMATICAL NOTES

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

Номера страниц: 714-718

ISSN журнала: 00014346

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

Издатель: PLENUM PUBL CORP

Авторы

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