Вернуться к Подробностям о статье
Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики
Скачать
Скачать PDF