Матэнциклопедия Персона

А. Д. Тайманов

http://libmeta.ru/resource/mathenc/author/a787

Входящие связи

← автор · 3

Аксиоматизируемый класс Вычислимая функция Неклассическая теория моделей