Вернуться к Подробностям о статье
Deductive systems with unified multiple-conclusion rules
Скачать
Скачать PDF