Browsing Алгебра и математическая логика by Author "Кошелев, А. В."
Now showing items 1-1 of 1
-
Линейные транзитивные логики знания и времени, унификация и проективные формулы
Башмаков, С. И.; Кошелев, А. В.; Рыбаков, В. В. (Барнаул : Издательство Алтайского государственного университета, 2017)Линейные транзитивные логики знания и времени, унификация и проективные формулы
Башмаков, С. И.; Кошелев, А. В.; Рыбаков, В. В. (Барнаул : Издательство Алтайского государственного университета, 2017)