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

Статья

Колмаков, Е.А.
Об одном усилении теоремы о неизоморфизме алгебр доказуемости / Е.А.Колмаков // Доклады Российской Академии наук. Математика, информатика, процессы управления. – 2021. – Т.499. – с.26-30. – URL: https://doi.org/10.31857/S2686954321040081. – Библиогр.:11.



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