К статье А.А. Оноприенко “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, опубликованной в 2023, том 514, с. 123–128 (https://doi.org/ 10.31857/S2686954323602324, EDN: WMAEPN), добавлено изменение.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации