Логико-математические принципы построения математических систем, аксиоматика и непротиворечивость.
Статьи по коду 510.2
8 публикаций
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.
МЕТОД ОБУЧЕНИЯ STEM
Атанепесов Б. Н., Акмырадов М., Гайыпова Э. Б.
· 2023
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