Вернуться к Подробностям о статье
Нормализованные выводы и обобщение теоремы дедукции.
Скачать
Скачать PDF