Горбунов, И.А. «Независимая базируемость дедуктивных пропозициональных систем». Логические исследования 150 (ноябрь 30, 2009): 78-93. просмотрено январь 21, 2025. https://logicalinvestigations.ru/article/view/328.