RAS PresidiumДоклады Российской академии наук. Математика, информатика, процессы управления Doklady Mathematics

  • ISSN (Print) 2686-9543
  • ISSN (Online) 3034-5049

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

PII
10.31857/S2686954324010189-1
DOI
10.31857/S2686954324010189
Publication type
Status
Published
Authors
Volume/ Edition
Volume 515 / Issue number 1
Pages
124-124
Abstract
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).
Keywords
Date of publication
15.11.2024
Year of publication
2024
Number of purchasers
0
Views
46

References

QR
Translate

Индексирование

Scopus

Scopus

Scopus

Crossref

Scopus

Higher Attestation Commission

At the Ministry of Education and Science of the Russian Federation

Scopus

Scientific Electronic Library