Логико-математические принципы построения математических систем, аксиоматика и непротиворечивость.
Статьи по коду 510.2
4 публикаций
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.
Quantitative Linear Logic
Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya
· 2026
Universal homogeneous two-sorted ultrametric spaces
Adam Bartoš, Wiesław Kubiś, Aleksandra Kwiatkowska, Maciej Malicki
· 2026