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

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