О формализации умозаключения в процессуальной логике. Часть I. ФЖ 2017, 10 (4), 72-92. https://doi.org/10.21146/2072-0726-2017-10-4-72-92.