О формализации умозаключения в процессуальной логике. Часть II. ФЖ 2018, 11 (1), 5–27. https://doi.org/10.21146/2072-0726-2018-11-1-5-27.