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

Статья

Дворкин, Л.В.
О логиках доказуемости арифметики Нибергалля / Л.В.Дворкин // Известия Российской академии наук. Серия математическая. – 2024. – Т. 88, № 3. – С. 61-100. – URL: https://doi.org/10.4213/im9524. – Библиогр.: 19.



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