- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Схемы рефлексии в формальной арифметике
Тип работы:
Докторская
Год:
1998
Артикул:
1000197459 179 грн
Рекомендуемые диссертации
- Нетопологизируемые группы и уравнения над ними
- Нормальность замыканий орбит максимального тора
- Абсолютно чистые и простые по чистоте модули
- Сложность множества тавтологий и некоторых родственных ему множеств
- Конгруэнции на полукольцах непрерывных функций
- Гомологии и деформации некоторых градуированных алгебр и супералгебр Ли векторных полей
- Формулы для числа решений уравнений марковского типа в конечных полях
- Корневые элементы в исключительных группах
- Решетки и произведения кратно Z-веерных и Z-расслоенных классов Фиттинга конечных групп
- Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках