Correction to the article A. A. Onoprienko “On the analogues of Erbran and Harrop theorems for the joint logic of problems and QHC statements”

详细

A change has been added to the article by A.A. Onoprienko, “On analogs of Erbran and Harrop's theorems for the joint logic of QHC problems and statements,” published in 2023, vol. 514, pp. 123-128 (https://doi.org/ 10.31857/S2686954323602324, EDN: WMAEPN).