Николаев, Д.С. 2020. Сбрасывая оковы формульной теории. Шаги. 6, 2 (мар. 2020), 304–311. DOI:https://doi.org/10.22394/2412-9410-2020-6-2-304-311.