Вернуться к Подробностям о статье Теорема дедукции для неклассических исчислений: два подхода. Скачать Скачать PDF