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