- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Логика доказуемости и доказуемостно-интуиционистская логика
Тип роботи:
Кандидатская
Рік:
1985
Артикул:
323553 179 грн
Рекомендовані дисертації
- Вычисление норменных рядов в формальных модулях Хонды и спаривания Гильберта в формальных модулях Любина-Тейта над многомерным локальным кольцом
- Решетки разбиений натуральных чисел и хроматическая определяемость графов
- Максимальные подгруппы нечетного индекса в конечных почти простых группах
- Автоморфизмы свободных алгебр и функции на группах лиева типа ранга 1
- Классификация нормальный и сопряженно-нормальных теплицевых и ганкелевых матриц
- Коммутативно-алгебраический подход к исследованию полиномиальных тождеств и Т-пространств
- Тензорные произведения с конечным числом орбит
- Асимптотика ограниченных алгебр Ли
- Итеративные алгебры, близкие к транзитивным
- О средних значениях сумм характеров Дирихле от рациональных функций и приложения