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

Статья

Герасимов, А.С.
Депренексификация в аналитических исчислениях для первопорядковой рациональной логики Павелки / А.С.Герасимов // Математический сборник. – 2026. – Т. 217, № 3. – С. 27-55. – URL: https://doi.org/10.4213/sm10274. – Библиогр.: 16.



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