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