“О формализации умозаключения в процессуальной логике. Часть I”, ФЖ, vol. 10, no. 4, pp. 72–92, Dec. 2017, doi: 10.21146/2072-0726-2017-10-4-72-92.