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