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

Статья

Васильев, С.Н.
Типово-кванторное исчисление позитивно-образованных формул с отрицаниями / С.Н.Васильев // Доклады Российской Академии наук. Математика, информатика, процессы управления. – 2025. – Т. 523. – С. 15-20. – URL: https://doi.org/10.31857/S2686954325030031. – Библиогр.: 16.



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