Карпенко А. Подструктурные логики: гильбертовский подход. ЛИ [Интернет]. 31 октябрь 2001 г. [цитируется по 6 апрель 2025 г.];80:65-1. доступно на: https://logicalinvestigations.ru/article/view/170