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