К статье А.А. Оноприенко “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, опубликованной в 2023, том 514, с. 123–128 (https://doi.org/ 10.31857/S2686954323602324, EDN: WMAEPN), добавлено изменение.
Индексирование
Scopus
Crossref
Higher Attestation Commission
At the Ministry of Education and Science of the Russian Federation