Карпенко, А.С. «Подструктурные логики: гильбертовский подход.». Логические исследования 80 (октябрь 31, 2001): 65-71. просмотрено апрель 5, 2025. https://logicalinvestigations.ru/article/view/170.