Электронный каталог

Статья

Оноприенко, А.А.
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC / А.А.Оноприенко // Доклады Российской Академии наук. Математика, информатика, процессы управления. – 2023. – Т. 514. – С. 123-128. – URL: https://doi.org/10.1134/S1064562423701685. – Библиогр.: 10.



Спец.(статьи,препринты) = С 14 - Математическая логика