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