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